Three fixes to the hat tools:

14 Aug
2002
14 Aug
'02
10:01 a.m.
malcolm: Wed Aug 14 16:01:42 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv4485 Modified Files: HatObserve.hs observe.c HatTrail.hs LowLevel.hs artutils.c observe.h Log Message: Three fixes to the hat tools: * Change global `interrupted' to `hat_interrupted' to avoid a clash with a global in ghc's RTS, which caused ^C to terminate the program instead of being caught properly. * When passing a pattern to hat-observe on the commandline, it must be properly quoted, and shell special chars inside the quotes must be escaped. * Pass the name of the program down into the C routines to improve their error-reporting.
8317
Age (days ago)
8317
Last active (days ago)
0 comments
1 participants
participants (1)
-
malcolmīŧ sparud.net