()
| 578 | pass |
| 579 | |
| 580 | def write_history(): |
| 581 | try: |
| 582 | readline_module.write_history_file(history) |
| 583 | except FileNotFoundError, PermissionError: |
| 584 | # home directory does not exist or is not writable |
| 585 | # https://bugs.python.org/issue19891 |
| 586 | pass |
| 587 | except OSError: |
| 588 | if errno.EROFS: |
| 589 | pass # gh-128066: read-only file system |
| 590 | else: |
| 591 | raise |
| 592 | |
| 593 | atexit.register(write_history) |
| 594 |
nothing calls this directly
no test coverage detected