> Are you using GNU-readline-2.0? If so, it may solve the problem to replace
> the library with the one distributed with bash-2.0. I tested it under
> Solaris2.5 without modifying the Hugs source files.
Excellent point. Under linux, when compiled *without* readline-2.0
(the version distributed as a standalone library), interrupts are
properly handled. However, I just checked my SunOS version of
hugs, and it works fine *with* readline-2.0. Does anyone have it
running under Linux with the bash version of readline?
--Jeff
