-
Evangelos Foutras authored
In a recent execution of the server upgrade task, svntogit was started shortly before the reboot command was issued. Therefore, it was killed two seconds into its run, leaving behind a lock file that prevented it from starting again after gemini was rebooted. Avoid the above timing issue by stopping the timer before rebooting.