# HG changeset patch # User Sylvain Thénault # Date 1245062536 -7200 # Node ID 2295f2aba61d75443671a2be5106c84b1d5d2465 # Parent 92ea410806fe0fcea0656cc4ec3dedc6fc5693a4 check not using "admin" as uri (reserved) diff -r 92ea410806fe -r 2295f2aba61d server/serverctl.py --- 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)