Update #1: 00:03 EST 10/17/2019. Server has been manually rebooted. We're currently investigating server logs. Total downtime: 9 minutes. Sorry for the inconvenience.
We've received an automatic notification that "TIGER" server went down. We're looking into this now. ETA and updates will be posted here.
Thank you for your patience.