log src/sat.sh @ 1733:3770d13776e8

age author description
Mon, 02 Nov 2015 22:02:41 +0100 Goffi launching script: use SIGTERM instead of SIGINT with the “stop” command