Commit bf3033e0f1738c07d41500bbc218c77643515e91
2011-08-24T08:23:22
Make restarting of GPUs optional for systems that hang on any attempt to restart them. Fix DEAD status by comparing it to last live time rather than last attempted restart time since that happens every minute.