| changeset 425 | b346fd32fc34 |
| parent 290 | 2ddd11ec2da2 |
| child 464 | b9243ade95e2 |
| 424:e67c4b18a16b | 425:b346fd32fc34 |
|---|---|
537 outfile.close() |
537 outfile.close() |
538 raise |
538 raise |
539 finally: |
539 finally: |
540 add_process_event(type="shutdown", args=stop_args, session_maker=Session) |
540 add_process_event(type="shutdown", args=stop_args, session_maker=Session) |
541 |
541 |
542 utils.get_logger().debug("Done. Exiting.") |
542 utils.get_logger().debug("Done. Exiting. " + repr(stop_args)) |
543 |
543 |
544 |
544 |
545 |
545 |
546 if __name__ == '__main__': |
546 if __name__ == '__main__': |
547 |
547 |