comparison libervia/pages/tickets/page_meta.py @ 1364:df40708c4c76

server: renamed `--dev_mode` to `--dev-mode` and set it as a flag: good practice is to use a dash instead of underscode for CLI arguments. This options is actually a flag, no need to specify the value.
author Goffi <goffi@goffi.org>
date Fri, 20 Nov 2020 17:53:01 +0100
parents 04e7dd6b6f4d
children 46ce79eac754
comparison
equal deleted inserted replaced
1363:c3dac1e11341 1364:df40708c4c76