Server down

Server down on July 15 00:00 until 11:45.

Yesterday, on 14 July, the server crashed. The last log was at 23:59:56 which makes me suspect that the ISP was doing some maintenance on their servers.

I rebooted the server at 11:45 and all seems to function again.

My apologies for the inconvenience.