# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1550851018 -3600
# Node ID 49ff1330c9d0ac5f51648fa3786c506c89603681
# Parent  0effdb357a87d023bc8c5a4daca2babd8340c99d
server: added "dev_mode" boolean option (not used yet but will be soon)

diff -r 0effdb357a87 -r 49ff1330c9d0 libervia/server/server.py
--- a/libervia/server/server.py	Wed Feb 06 09:19:33 2019 +0100
+++ b/libervia/server/server.py	Fri Feb 22 16:56:58 2019 +0100
@@ -1835,6 +1835,8 @@
 
     @defer.inlineCallbacks
     def backendReady(self, __):
+        if self.options[u'dev_mode']:
+            log.info(_(u"Developer mode activated"))
         self.media_dir = self.bridge.getConfig("", "media_dir")
         self.local_dir = self.bridge.getConfig("", "local_dir")
         self.cache_root_dir = os.path.join(self.local_dir, C.CACHE_DIR)
diff -r 0effdb357a87 -r 49ff1330c9d0 twisted/plugins/libervia_server.py
--- a/twisted/plugins/libervia_server.py	Wed Feb 06 09:19:33 2019 +0100
+++ b/twisted/plugins/libervia_server.py	Fri Feb 22 16:56:58 2019 +0100
@@ -152,6 +152,8 @@
                        ['base_url_ext', '', '',
                         _(u'The external URL to use as base URL').encode('utf-8'),
                         coerceUnicode],
+                       ['dev_mode', 'D', False, _(u'Developer mode, automatically reload'
+                        u'modified pages').encode('utf-8'), coerceBool],
                       ]
 # Options which are in sat.conf only
 OPT_PARAMETERS_CFG = [