couple of fixes for the server-restart.js script