Coral died this morning ...

[John Shott]

Bill and Mike:

Hmmm ... the coral servers appear to have died this morning at about 9:10
a.m.  I think that the admin manager thought that the resource manager had
died and likely tried to restart.  However, it's restart was unsuccessful ...
if I am not mistaken, it may be because user "admin" (rather than root) tried
to restart the servers.  In any event, by 9:20 or so, I got calls from the lab
and restarted the servers manually ...

Thanks,

John