server/serverconfig.py
changeset 10272 3231fd2fa7a5
parent 10233 f7dfcb3add15
child 10301 729f36a1bcfa
equal deleted inserted replaced
10229:512ba8f37bd4 10272:3231fd2fa7a5
   235                    'to (of the form `zmqpickle-tcp://<ipaddr>:<port>`).'),
   235                    'to (of the form `zmqpickle-tcp://<ipaddr>:<port>`).'),
   236           'group': 'zmq', 'level': 3,
   236           'group': 'zmq', 'level': 3,
   237           }),
   237           }),
   238          ('zmq-address-sub',
   238          ('zmq-address-sub',
   239           {'type' : 'csv',
   239           {'type' : 'csv',
   240            'default' : None,
   240            'default' : (),
   241            'help': ('List of ZMQ addresses to subscribe to (requires pyzmq) '
   241            'help': ('List of ZMQ addresses to subscribe to (requires pyzmq) '
   242                     '(of the form `tcp://<ipaddr>:<port>`)'),
   242                     '(of the form `tcp://<ipaddr>:<port>`)'),
   243            'group': 'zmq', 'level': 1,
   243            'group': 'zmq', 'level': 1,
   244            }),
   244            }),
   245          ('zmq-address-pub',
   245          ('zmq-address-pub',