2016-01-13 - production
17:06	<gwicke>	restarted mathoid on sca1001 and sca1002	[production]