TSD maintenance stop 11/2-15, 0900-1200 - system is up again.

Dear TSD users

TSD is now back up. All windows machines will/have be(en) restarted. We are restarting a few linuxboxes now, assuming most users can start their own.

Best regards

Gard@TSD