server/serverctl.py
branchstable
changeset 2106 2295f2aba61d
parent 2105 92ea410806fe
child 2107 6c4a4c514ac2
--- a/server/serverctl.py	Fri Jun 12 16:33:19 2009 +0200
+++ b/server/serverctl.py	Mon Jun 15 12:42:16 2009 +0200
@@ -150,7 +150,7 @@
                 print 'unknown source type, use one of the available type'
             while True:
                 sourceuri = raw_input('source uri: ').strip()
-                if sourceuri not in sourcescfg:
+                if sourceuri != 'admin' and sourceuri not in sourcescfg:
                     break
                 print 'uri already used, choose another one'
             sourcescfg[sourceuri] = ask_source_config(sourcetype)