Unplanned downtime for spice-proxy 14/4-15 15:45-15:50

Spice-proxy was  accidentally rebooted today at 15:40 today. This incident caused a 5 min downtime for remote connections to linux machines in TSD using spice. We are sorry for any inconvenience this may have caused.