server/serverconfig.py
changeset 8216 99ff746e8de8
parent 8211 543e1579ba0d
parent 8182 d062d3b7da6c
child 8265 9747ab9230ad
equal deleted inserted replaced
8214:ce9556358dbd 8216:99ff746e8de8
   134 connections will have this number of opened connections.',
   134 connections will have this number of opened connections.',
   135           'group': 'main', 'level': 3,
   135           'group': 'main', 'level': 3,
   136           }),
   136           }),
   137         ('rql-cache-size',
   137         ('rql-cache-size',
   138          {'type' : 'int',
   138          {'type' : 'int',
   139           'default': 300,
   139           'default': 3000,
   140           'help': 'size of the parsed rql cache size.',
   140           'help': 'size of the parsed rql cache size.',
   141           'group': 'main', 'level': 3,
   141           'group': 'main', 'level': 3,
   142           }),
   142           }),
   143         ('undo-support',
   143         ('undo-support',
   144          {'type' : 'string', 'default': '',
   144          {'type' : 'string', 'default': '',