[cvs-nhc98] Enabled interruption of computation in tracing with new fi
User olaf
olaf@sparud.net
Tue, 16 Apr 2002 18:00:24 +0200 (CEST)
olaf: Tue Apr 16 18:00:23 CEST 2002
Update of /usr/src/master/nhc/src/hat/lib
In directory hinken:/tmp/cvs-serv26371/src/hat/lib
Modified Files:
hat.c
Log Message:
Enabled interruption of computation in tracing with new file format.
The header marks interrution as decribed in Memo 31.
Interruption can only happen when a reduction or a Forward node is entered. So a trusted or foreign computation cannot be interrupted.