diff libervia/pages/tickets/edit/page_meta.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 04e7dd6b6f4d
children
line wrap: on
line diff