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

[Felix A. Croes]

> 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()?

DGD does <not> shut dowm automatically on a kill signal.  There may be
a good reason to postpone the actual shutdown a bit; for example, there
may be connections open that require a dialog to shut down properly.
Therefore, all that happens is that driver_obj->interrupt() is called.
What is done here depends on the particular mud.

Dworkin