()
| 2833 | signal.raise_signal(signal.SIGINT) |
| 2834 | |
| 2835 | def stop_thread(): |
| 2836 | shut_down.set() |
| 2837 | thread.join() |
| 2838 | |
| 2839 | # Use a daemon thread so that we don't detach until after all non-daemon |
| 2840 | # threads are done. Use an atexit handler to stop gracefully at that point, |