Quick restart

There will be a brief mining server restart to fix two bugs in ethash mining.

The restart was successful and the ethash bugs are now fixed. Thanks for your patience!