[ros-diffs] [cwittich] 40241: kill the vm if it is already running (quick and dirty)