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