> Your file server swaps when too many people log in? One day I logged into our file server and ran it out of swap by mistake. I don't remember what I was doing, but it can be done, and I'd prefer to at least keep the size of the pool of people who can do it small (and maybe I flatter myself into thinking that after N semesters' of experience I might also be less likely than a student with <1 to do it).
Dave Eckhardt
