equal
deleted
inserted
replaced
107 'help': 'if this option is set, use the specified user to start \ |
107 'help': 'if this option is set, use the specified user to start \ |
108 the repository rather than the user running the command', |
108 the repository rather than the user running the command', |
109 'group': 'main', 'inputlevel': (CubicWebConfiguration.mode == 'installed') and 0 or 1, |
109 'group': 'main', 'inputlevel': (CubicWebConfiguration.mode == 'installed') and 0 or 1, |
110 }), |
110 }), |
111 ('session-time', |
111 ('session-time', |
112 {'type' : 'int', |
112 {'type' : 'time', |
113 'default': 30*60, |
113 'default': '30min', |
114 'help': 'session expiration time, default to 30 minutes', |
114 'help': 'session expiration time, default to 30 minutes', |
115 'group': 'main', 'inputlevel': 1, |
115 'group': 'main', 'inputlevel': 1, |
116 }), |
116 }), |
117 ('connections-pool-size', |
117 ('connections-pool-size', |
118 {'type' : 'int', |
118 {'type' : 'int', |