Emergency reboot of Ubuntu workstations
On Friday, September 17, at 22:00, we will have to extraordinarily reboot our 64-bit Ubuntu workstations in order to deal with a nasty security issue. We’re sorry for the short notice but we’ve been unpleasantly surprised by this just as much as you have. If you’re reading this in time, please save all your data and log out if you can. Please note that also the terminal servers plimpy, plompy, plempy and plumpy (yes I know..) are affected. Thank you.