C-libraries and Control-C

[Koen Claessen]

Hi all,

I have linked a C-library to Hugs (I used H/Direct).

What I want is that some cleaning up of the C-libraries
state is done when the user presses control-C. Is there
any way to specify this without recompiling Hugs?

Thanks,
Koen.

--
Koen Claessen         http://www.cs.chalmers.se/~koen     
phone:+46-31-772 5424      mailto:koen@cs.chalmers.se
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden