RTC Toolkit 4.0.1
|
Functions | |
def | int_signal_handler (signum, frame) |
Signal handler for SIGINT. | |
Variables | |
int | INT_SIGNAL_TIMES = 0 |
def gui.sighandler.int_signal_handler | ( | signum, | |
frame | |||
) |
Signal handler for SIGINT.
Registers how many times the signal handler has been called. If this is the first time, it requests a gracefull exit. It this is the second time or greater, it terminates the python process with exit code SIGINT.
int gui.sighandler.INT_SIGNAL_TIMES = 0 |