Date: Sun, 01 Oct 1995 10:47:21 -0700 From: Bruce Perens <bruce@Pixar.com> We're aware of this one, and hopefully it will be repaired today. I think we really only need to provide another flag to "halt" to keep it from happening. It's fixed, and I'm uploading a new rootdisk as I write this.