diff libervia/server/tasks/manager.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 a46d0e0f383b
children 822bd0139769
line wrap: on
line diff
--- a/libervia/server/tasks/manager.py	Sun Nov 15 16:59:55 2020 +0100
+++ b/libervia/server/tasks/manager.py	Fri Nov 20 17:53:01 2020 +0100
@@ -127,7 +127,7 @@
 
         self.tasks[task_name] = task
         self.validateData(task)
-        if self.host.options['dev_mode']:
+        if self.host.options['dev-mode']:
             dirs = task.WATCH_DIRS or []
             for dir_ in dirs:
                 self.host.files_watcher.watchDir(