Commit 947a74bfa3fb1fe731b479b806a84ee6bc82ce0a

Con Kolivas 2011-07-30T01:23:17

Differentiate thread failure from GPU failure by declaring a GPU sick first and trying to restart the thread without re-initialising the card. If that fails, then try once more at ten minutes and declare it dead. This should prevent an attempted re-initialising of the GPU from taking out other GPUs.