()
| 572 | |
| 573 | |
| 574 | def flush(): |
| 575 | with sd_lock: |
| 576 | try: |
| 577 | saveddata_session.flush() |
| 578 | except (KeyboardInterrupt, SystemExit): |
| 579 | raise |
| 580 | except Exception: |
| 581 | saveddata_session.rollback() |
| 582 | exc_info = sys.exc_info() |
| 583 | raise exc_info[0](exc_info[1]).with_traceback(exc_info[2]) |