web/webconfig.py
changeset 9372 e87a808a4c32
parent 9340 b1e933b0e850
child 9504 71a11bca251d
child 9595 240a620b9cd3
--- a/web/webconfig.py	Thu Dec 12 16:18:58 2013 +0100
+++ b/web/webconfig.py	Thu Dec 12 18:25:45 2013 +0100
@@ -235,6 +235,18 @@
           'help': 'anonymize the connection before executing any jsonp query.',
           'group': 'web', 'level': 1
           }),
+        ('generate-staticdir',
+         {'type': 'yn',
+          'default': True,
+          'help': 'Generate the static data resource directory on upgrade.',
+          'group': 'web', 'level': 2,
+          }),
+        ('staticdir-path',
+         {'type': 'string',
+          'default': None,
+          'help': 'The static data resource directory path.',
+          'group': 'web', 'level': 2,
+          }),
         ))
 
     def __init__(self, *args, **kwargs):