in response to critical system maintenance by our hosting provider, the Cirrus servers had to be rebooted today. i tried to keep the interruption to a minimum. users would have been disconnected but could immediately reconnect. most users should only have been disconnected once; some might have been disconnected twice.
the reboots occurred today (may 13 2015) between 22:30 and 23:10 UTC, or around 15:30 to 16:10 US Pacific time.