log src/sat.sh @ 1704:292f9c2712f2

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