equal
deleted
inserted
replaced
44 ('uid', |
44 ('uid', |
45 {'type' : 'string', |
45 {'type' : 'string', |
46 'default': None, |
46 'default': None, |
47 'help': 'if this option is set, use the specified user to start \ |
47 'help': 'if this option is set, use the specified user to start \ |
48 the repository rather than the user running the command', |
48 the repository rather than the user running the command', |
49 'group': 'main', 'inputlevel': 0, |
49 'group': 'main', 'inputlevel': (WebConfiguration.mode == 'installed') and 0 or 1, |
50 }), |
50 }), |
51 ('session-time', |
51 ('session-time', |
52 {'type' : 'int', |
52 {'type' : 'int', |
53 'default': 30*60, |
53 'default': 30*60, |
54 'help': 'session expiration time, default to 30 minutes', |
54 'help': 'session expiration time, default to 30 minutes', |