diff -r a5c6142cbfa8 -r f3b14d052798 server/serverconfig.py
--- a/server/serverconfig.py	Wed Sep 30 21:06:09 2009 +0200
+++ b/server/serverconfig.py	Thu Oct 01 08:49:29 2009 +0200
@@ -168,13 +168,7 @@
           '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)