server/serverconfig.py
changeset 8211 543e1579ba0d
parent 7896 4c954e1e73ef
child 8216 99ff746e8de8
--- a/server/serverconfig.py	Fri Feb 10 10:45:17 2012 +0100
+++ b/server/serverconfig.py	Fri Feb 10 16:20:35 2012 +0100
@@ -207,6 +207,19 @@
 and if not set, it will be choosen randomly',
           'group': 'pyro', 'level': 3,
           }),
+
+         ('zmq-address-sub',
+          {'type' : 'csv',
+           'default' : None,
+           'help': ('List of ZMQ addresses to subscribe to (requires pyzmq)'),
+           'group': 'zmq', 'level': 1,
+           }),
+         ('zmq-address-pub',
+          {'type' : 'string',
+           'default' : None,
+           'help': ('ZMQ address to use for publishing (requires pyzmq)'),
+           'group': 'zmq', 'level': 1,
+           }),
         ) + CubicWebConfiguration.options)
 
     # should we init the connections pool (eg connect to sources). This is