[DGD] What to do at interrupt() time?

[Stephen Schmidt]

The Introduction file in the DGD distribution sayeth:

> void interrupt()
>       Called if the driver receives a kill signal.  The function should
>       shut down the system, and possibly dump state.

Does "shut down the system" mean things like forcing all the users
to quit? Or does it mean that you need to invoke the shutdown()
kfun from within interrupt()? I'd always assumed that DGD would
shut down automagically if it got a kill signal, but that seems
not to be correct. I will Try It And See What Happens, but this
seems important enough to verify with people more knowledgeable
than I...

Steve





List config page:  http://list.imaginary.com/mailman/listinfo/dgd