Restart BOINC server just when it's needed