While troubleshooting an infrastructure issue I just now accidentally
triggered a reboot of a few VMs, including the primary host of toolsdb.
If you see a little storm of alert in your tool logs about timeouts and
disconnections, that was what that was.
Everything should be back to normal now!
-Andrew