scheduler restarted due to problems with advance reservation

Wed Jul 23 13:51:52 2008

The maui scheduler had a glitch causing some jobs to automatically restart. This problem has been fixed.