log src/sat.sh @ 1600:8d41cd4da2f6

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