| branch | stable |
| changeset 2321 | 0b363cd5ef76 |
| parent 2275 | bc0bed0616a3 |
| child 2395 | e3093fc12a00 |
| 2320:17dc9661af57 | 2321:0b363cd5ef76 |
|---|---|
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 |