Jan 292006
Sorry about the server downtime: the NIC was dead. Windows started in safe mode, but not in safe mode with networking, so the problem was easily found. Replacing the NIC was a little pain, since putting the same NIC (but a spare one) into the same PCI slot was not enough for windows to recognize it as a new NIC. So I put it in a slot below, and things where up and running again.