comparison libervia/server/launcher.py @ 1361:626b7bbb7f90

server: mechanism to exit Libervia with an exit code: the new `SysExit` exception can now be used to quit Libervia with a given shell exit code.
author Goffi <goffi@goffi.org>
date Sat, 14 Nov 2020 22:24:58 +0100
parents 3a3f3bccd65b
children 822bd0139769
comparison
equal deleted inserted replaced
1360:389a83eefe62 1361:626b7bbb7f90