Kill the current process without fully cleaning up. This can be quite a bit faster than a normal exit() since objects are not freed.
(status: int = 0)
| 459 | |
| 460 | |
| 461 | def hard_exit(status: int = 0) -> None: |
| 462 | """Kill the current process without fully cleaning up. |
| 463 | |
| 464 | This can be quite a bit faster than a normal exit() since objects are not freed. |
| 465 | """ |
| 466 | sys.stdout.flush() |
| 467 | sys.stderr.flush() |
| 468 | os._exit(status) |
| 469 | |
| 470 | |
| 471 | def unmangle(name: str) -> str: |
nothing calls this directly
no test coverage detected
searching dependent graphs…