Chris restarted server

Chris restarted the mining server to workaround a bug that we are aware of and which will be fixed in tomorrow's release.

The bug resulted in about 10 minutes of lost shares. Share corrections will be applied, but they will be minimal. We apologize for the inconvenience.