There's a new option to restart the Synapse server from the admin menu of the portal. It will tell you if the server is already running and try to restart it if not.
