Re: [PATCH] repl: Fix SIGINT behavior with reverse-i-search

[Jose E. Marchesi]

Hi Carlo.

    The current SIGINT handling is failing to reset readline when doing a
    reverse-search.
    
      (failed reverse-i-search)`XXXXXX': ^CQuit
      (failed reverse-i-search)`XXXXXX': ^CQuit
    
    Use the standard implementation for the SIGINT handler to address this
    (and other) problems.

Thanks.  This is OK for master.