Wed Jul 2 23:10:25 PDT 2003 — Shell.sonic.net back online: The shell server is back online. The problem: a kernel panic, for which the system shut down as a safety measure. We have booted the latest kernel. No other services but shell were affected. -Scott, Kelsey, and Nathan