UPDATE: WMS down, Discovery down-ish

2:40pm: WMS appears to be back online. Discovery still not showing locations or call numbers.

Starting around 2:20pm, WMS has been unavailable.
Discovery displays holdings but not shelving locations or call numbers.