login-old.eecs malfunction

login-old.eecs is down. Please use login.eecs instead.

---

UPDATE

[2018-10-29 11:40:41 | mark kraitchman]

login-old.eecs is up.

Resolved as of 2018-10-29 11:22:00