2015-12-18 - production
00:00	<ori>	restarted mathoid on sca1001	[production]