migration.py
changeset 5486 5790462343cb
parent 5442 3ed8afbbdf70
parent 5485 4a033d7f1d93
child 5508 6718ba5db0eb
equal deleted inserted replaced
5483:1a30c5a56256 5486:5790462343cb
   389             if optdescr[0] == 'added':
   389             if optdescr[0] == 'added':
   390                 optdict = self.config.get_option_def(optdescr[1])
   390                 optdict = self.config.get_option_def(optdescr[1])
   391                 if optdict.get('default') is REQUIRED:
   391                 if optdict.get('default') is REQUIRED:
   392                     self.config.input_option(optdescr[1], optdict)
   392                     self.config.input_option(optdescr[1], optdict)
   393         self.config.generate_config(open(newconfig, 'w'))
   393         self.config.generate_config(open(newconfig, 'w'))
   394         show_diffs(configfile, newconfig)
   394         show_diffs(configfile, newconfig, ask_confirm=self.confirm is not yes)
   395         os.close(fd)
   395         os.close(fd)
   396         if exists(newconfig):
   396         if exists(newconfig):
   397             os.unlink(newconfig)
   397             os.unlink(newconfig)
   398 
   398 
   399 
   399