h1susey, h1iscey, h1seiey and h1susex all crashed more or less simultaneously, about the time I rebooted h1build in preparation for tomorrow's RCG upgrade.

All front ends crashed while executing the Dolphin driver.  h1build is not a dolphin host. 

dis_networkmgr was switched from h1vmboot1 to h1vmboot0 several minutes prior to the crash.

We restored the crashed systems.  One model, h1isietmy, had pending changes that had never previosly ran.  We reverted this model to the last running version.