Mon May 8 12:17:38 PDT 2000 — Our shell server, bolt.sonic.net ran short on resources, and is currently returning some segmentation faults. We are currently working to kill off some old ‘stuck’ processes to clear resources. We will put together a watchdog that kills processes which are more than a day or two old, as they don’t need to clutter up the system for months. -Dane and Scott