Mercurial > octave

comparison src/sighandlers.cc @ 11586:12df7854fa7c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
strip trailing whitespace from source files
author John W. Eaton <jwe@octave.org>
date Thu, 20 Jan 2011 17:24:59 -0500
parents f359cfc6e24d
children 8c6d71520920
comparison
equal deleted inserted replaced
11585:1473d0cf86d2 11586:12df7854fa7c
403 { 403 {
404 const char *sig_name; 404 const char *sig_name;
405 405
406 switch(sig) 406 switch(sig)
407 { 407 {
408 case CTRL_BREAK_EVENT: 408 case CTRL_BREAK_EVENT:
409 sig_name = "Ctrl-Break"; 409 sig_name = "Ctrl-Break";
410 break; 410 break;
411 case CTRL_C_EVENT: 411 case CTRL_C_EVENT:
412 sig_name = "Ctrl-C"; 412 sig_name = "Ctrl-C";
413 break; 413 break;
414 case CTRL_CLOSE_EVENT: 414 case CTRL_CLOSE_EVENT:
441 // We can't because we aren't running in the normal Octave thread. 441 // We can't because we aren't running in the normal Octave thread.
442 user_abort(sig_name, sig); 442 user_abort(sig_name, sig);
443 break; 443 break;
444 } 444 }
445 445
446 // Return TRUE if the event was handled, or FALSE if another handler 446 // Return TRUE if the event was handled, or FALSE if another handler
447 // should be called. 447 // should be called.
448 // FIXME check that windows terminates the thread. 448 // FIXME check that windows terminates the thread.
449 return TRUE; 449 return TRUE;
450 } 450 }
451 #endif /* w32_sigint_handler */ 451 #endif /* w32_sigint_handler */
465 #endif 465 #endif
466 466
467 #ifdef USE_W32_SIGINT 467 #ifdef USE_W32_SIGINT
468 468
469 // Intercept windows console control events. 469 // Intercept windows console control events.
470 // Note that the windows console signal handlers chain, so if 470 // Note that the windows console signal handlers chain, so if
471 // install_signal_handlers is called more than once in the same program, 471 // install_signal_handlers is called more than once in the same program,
472 // then first call the following to avoid duplicates: 472 // then first call the following to avoid duplicates:
473 // 473 //
474 // SetConsoleCtrlHandler (w32_sigint_handler, FALSE); 474 // SetConsoleCtrlHandler (w32_sigint_handler, FALSE);
475 475