comparison scripts/stop_running.sh @ 233:18d03901f866 mergingClockSync

Turned gShouldStop into int
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 10 Apr 2016 03:20:52 +0200
parents 3ada83df91a5
children 8329f234d914
comparison
equal deleted inserted replaced
232:600355cf4ed5 233:18d03901f866