dead_monitors

Keith Mitchell keith at piked2.agn.uiuc.edu
Fri Sep 4 14:30:28 EDT 1992


The problem with killing the processes
is that the processes were dead already.
System went down and went through autoreboot.

Removal of the lock file does the trick.

/locks/<hostname>/:0/<monitor_name>


Thanks



More information about the grass-user mailing list