log sat/core/launcher.py @ 3461:02a8d227d5bb

age author description
Sat, 14 Nov 2020 21:19:40 +0100 Goffi core (launcher): exit code can now specified