comparison scripts/stop_running.sh @ 83:eec746389e20

Fixed compatibility with sh in the script
author Giulio Moro <giuliomoro@yahoo.it>
date Fri, 17 Jul 2015 22:54:35 +0100
parents 3ada83df91a5
children 8329f234d914
comparison
equal deleted inserted replaced
80:371386c4e22f 83:eec746389e20