patch applied (hat): Three fixes to the hat tools:

Wed Aug 14 07:01:42 PDT 2002 malcolm * 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. M ./src/hattools/HatObserve.hs -3 +9 M ./src/hattools/HatTrail.hs -3 +11 M ./src/hattools/LowLevel.hs -2 +3 M ./src/hattools/artutils.c -6 +9 M ./src/hattools/observeutils.c -3 +6 M ./src/hattools/observeutils.h -1 +1
participants (1)
-
Malcolm Wallace