equal
deleted
inserted
replaced
775 config.repairing = self.config.force |
775 config.repairing = self.config.force |
776 mih = config.migration_handler() |
776 mih = config.migration_handler() |
777 try: |
777 try: |
778 if args: |
778 if args: |
779 for arg in args: |
779 for arg in args: |
780 mih.process_script(arg) |
780 mih.cmd_process_script(arg) |
781 else: |
781 else: |
782 mih.interactive_shell() |
782 mih.interactive_shell() |
783 finally: |
783 finally: |
784 if not self.config.pyro: |
784 if not self.config.pyro: |
785 mih.shutdown() |
785 mih.shutdown() |