server/serverconfig.py
changeset 136 ff51a18c66a3
parent 0 b97547f5f1fa
child 793 06b05dce4831
child 1160 77bf88f01fcc
--- a/server/serverconfig.py	Tue Nov 25 12:20:19 2008 +0100
+++ b/server/serverconfig.py	Tue Nov 25 12:34:05 2008 +0100
@@ -52,7 +52,7 @@
           'default': None,
           'help': 'if this option is set, use the specified user to start \
 the repository rather than the user running the command',
-          'group': 'main', 'inputlevel': 0,
+          'group': 'main', 'inputlevel': (CubicWebConfiguration.mode == 'installed') and 0 or 1,
           }),
         ('session-time',
          {'type' : 'int',