> Seems we can just ignore ^C if a query is not being run. Is that OK> with everyone. Looks easy to do.
It would be a trap for new users (some old ones too) who may not knowhow to escape. longjmp should be easy too, if it works.