[cvs-nhc98] patch applied (hat): Portable tracing: corrected interruption of traced program by Control-C.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:14:57 EDT 2006


Thu Mar 14 11:16:47 PST 2002  olaf
  * Portable tracing: corrected interruption of traced program by Control-C.
  
  In the previous version interruption sometimes led to corrupted trace files. The reason was that the interrupt happened in the middle of writing a node to file. Now the interruption is just marked in a variable and only creation of a SatB checks this variable and possibly aborts. An infinite computation will always enter functions and hence create SatBs. A side effect is that the parent of the interruption error message is always _|_.

    M ./src/hatlib/hat-c.c -1 +11


More information about the Cvs-nhc98 mailing list