server/serverconfig.py
changeset 136 ff51a18c66a3
parent 0 b97547f5f1fa
child 793 06b05dce4831
child 1160 77bf88f01fcc
equal deleted inserted replaced
135:1138432a56a4 136:ff51a18c66a3
    50         ('uid',
    50         ('uid',
    51          {'type' : 'string',
    51          {'type' : 'string',
    52           'default': None,
    52           'default': None,
    53           'help': 'if this option is set, use the specified user to start \
    53           'help': 'if this option is set, use the specified user to start \
    54 the repository rather than the user running the command',
    54 the repository rather than the user running the command',
    55           'group': 'main', 'inputlevel': 0,
    55           'group': 'main', 'inputlevel': (CubicWebConfiguration.mode == 'installed') and 0 or 1,
    56           }),
    56           }),
    57         ('session-time',
    57         ('session-time',
    58          {'type' : 'int',
    58          {'type' : 'int',
    59           'default': 30*60,
    59           'default': 30*60,
    60           'help': 'session expiration time, default to 30 minutes',
    60           'help': 'session expiration time, default to 30 minutes',