The inst.eecs server is currently offline. Staff are investigating.

---

UPDATE

[2019-04-16 09:52:58 | Lars Rohrbach]

The inst.eecs server was brought back online, and services on inst.eecs are now restored.

Resolved as of 2019-04-16 09:40:00