Plimpy maintenance reboot
Our terminal server plimpy (uptime: 80 days) is slowly clogging up with runaway processes, eating up memory and CPU. Since we cannot tell apart good processes from bad ones, we schedule a maintenance reboot for tomorrow, Wednesday February 24 at 18:00 in order to give the system a fresh start. We ask all users to save their data and log out of their thin clients. Update, 18:45: Plimpy is up and running again.