branch | stable |
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)