Coral died this morning ...

John Shott shott at
Mon Jan 6 09:35:20 PST 2003

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 ...



More information about the coral mailing list