CI Server down

[Evan Worley]

Brett,

You had mentioned that the CI server has been flaky.  When it goes down is
there a process for getting it back up, or can only you restart it?

Thanks,
Evan