^_^ Imma n00b, and still learning the chain of command. But now I know, and knowing is half the battle
Indeed :D
First, try to get hold of the servers Director. (in this case there is none currently, so that would be moot). Check on IRC / TS, if they aren't there, check if you see any of the Admins (Deadl0ck, Malco) online. They can restart stuff too usually. And if it's down for 2-3hrs, send me a PM.
Servers that are down don't usually fix themselves. And if a server is down for planned maintenance, we will tweet about it / post a thread.