server/serverctl.py
branchstable
changeset 2106 2295f2aba61d
parent 2105 92ea410806fe
child 2107 6c4a4c514ac2
equal deleted inserted replaced
2105:92ea410806fe 2106:2295f2aba61d
   148                 if sourcetype in available:
   148                 if sourcetype in available:
   149                     break
   149                     break
   150                 print 'unknown source type, use one of the available type'
   150                 print 'unknown source type, use one of the available type'
   151             while True:
   151             while True:
   152                 sourceuri = raw_input('source uri: ').strip()
   152                 sourceuri = raw_input('source uri: ').strip()
   153                 if sourceuri not in sourcescfg:
   153                 if sourceuri != 'admin' and sourceuri not in sourcescfg:
   154                     break
   154                     break
   155                 print 'uri already used, choose another one'
   155                 print 'uri already used, choose another one'
   156             sourcescfg[sourceuri] = ask_source_config(sourcetype)
   156             sourcescfg[sourceuri] = ask_source_config(sourcetype)
   157             sourcemodule = SOURCE_TYPES[sourcetype].module
   157             sourcemodule = SOURCE_TYPES[sourcetype].module
   158             if not sourcemodule.startswith('cubicweb.'):
   158             if not sourcemodule.startswith('cubicweb.'):