Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
  • Eelco Dolstra's avatar
    0fae20c3
    Use pthread_cancel instead of a signal · 0fae20c3
    Eelco Dolstra authored 
    Signal handlers are process-wide, so sending SIGINT to the monitor
thread will cause the normal SIGINT handler to run. This sets the
isInterrupted flag, which is not what we want. So use pthread_cancel
instead.
    0fae20c3
    History
    Use pthread_cancel instead of a signal
    Eelco Dolstra authored 
    Signal handlers are process-wide, so sending SIGINT to the monitor
thread will cause the normal SIGINT handler to run. This sets the
isInterrupted flag, which is not what we want. So use pthread_cancel
instead.