| changeset 2318 | 17f7c3990f9b |
| parent 2275 | bc0bed0616a3 |
| child 2395 | e3093fc12a00 |
| 2304:8381cc99daa8 | 2318:17f7c3990f9b |
|---|---|
731 sources = ('all',) |
731 sources = ('all',) |
732 config.set_sources_mode(sources) |
732 config.set_sources_mode(sources) |
733 mih = config.migration_handler() |
733 mih = config.migration_handler() |
734 if args: |
734 if args: |
735 for arg in args: |
735 for arg in args: |
736 mih.process_script(script) |
736 mih.process_script(arg) |
737 else: |
737 else: |
738 mih.interactive_shell() |
738 mih.interactive_shell() |
739 mih.shutdown() |
739 mih.shutdown() |
740 |
740 |
741 |
741 |