Shell server outage.

System maintenance started at 9:10 am on the public shell server resulted in more downtime than expected. The problem that caused the downtime was found and resolved as of 11 am.

– SOC