enhanced run.cmd so it will attempt to kill the existing server before
starting the new one