Make run.bash kill, wait and then start.