server/serverconfig.py
changeset 10233 f7dfcb3add15
parent 9468 39b7a91a3f4c
child 10301 729f36a1bcfa
equal deleted inserted replaced
10228:d8a208f7e3d1 10233:f7dfcb3add15
   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',