server/serverconfig.py
changeset 3589 a5432f99f2d9
parent 2968 0e3460341023
parent 3547 0c18a6c8d9b7
child 3674 387d51af966d
--- a/server/serverconfig.py	Wed Sep 30 18:57:42 2009 +0200
+++ b/server/serverconfig.py	Wed Oct 07 12:31:08 2009 +0200
@@ -163,18 +163,12 @@
           }),
         # pyro server.serverconfig
         ('pyro-host',
-         {'type' : 'int',
+         {'type' : 'string',
           'default': None,
           'help': 'Pyro server host, if not detectable correctly through \
 gethostname(). It may contains port information using <host>:<port> notation, \
 and if not set, it will be choosen randomly',
-          'group': 'pyro-server', 'inputlevel': 2,
-          }),
-        ('pyro-id', # XXX reuse pyro-instance-id
-         {'type' : 'string',
-          'default': None,
-          'help': 'identifier of the repository in the pyro name server',
-          'group': 'pyro-server', 'inputlevel': 2,
+          'group': 'pyro', 'inputlevel': 2,
           }),
         ) + CubicWebConfiguration.options)