about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-07-24T09·47+0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-07-24T09·47+0200
commit0fae20c36226c8596dd9676c354ca957808ea3d1 (patch)
tree193322786152b4c7395d884fbbb51515935e5528 /.gitignore
parentaa1560ca079148f5656cbec0d8057d551cb571ff (diff)
Use pthread_cancel instead of a signal
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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions