migration.py
changeset 6751 02091c91520f
parent 6732 f63cef610b97
child 7083 b8e35cde46e9
equal deleted inserted replaced
6737:de49060d4be3 6751:02091c91520f
   359             self.commit()
   359             self.commit()
   360         else: # script_mode == 'doctest'
   360         else: # script_mode == 'doctest'
   361             import doctest
   361             import doctest
   362             return doctest.testfile(migrscript, module_relative=False,
   362             return doctest.testfile(migrscript, module_relative=False,
   363                                     optionflags=doctest.ELLIPSIS,
   363                                     optionflags=doctest.ELLIPSIS,
       
   364                                     # verbose mode when user input is expected
       
   365                                     verbose=self.verbosity==2,
       
   366                                     report=True,
   364                                     encoding='utf-8',
   367                                     encoding='utf-8',
   365                                     globs=scriptlocals)
   368                                     globs=scriptlocals)
   366         self._context_stack.pop()
   369         self._context_stack.pop()
   367 
   370 
   368     def cmd_option_renamed(self, oldname, newname):
   371     def cmd_option_renamed(self, oldname, newname):