We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 8764e63 + 4b3a016 commit deda5f2Copy full SHA for deda5f2
src/signals-unix.c
@@ -474,6 +474,9 @@ void jl_install_default_signal_handlers(void)
474
if (signal(SIGPIPE, SIG_IGN) == SIG_ERR) {
475
jl_error("fatal error: Couldn't set SIGPIPE");
476
}
477
+ if (signal(SIGTRAP, SIG_IGN) == SIG_ERR) {
478
+ jl_error("fatal error: Couldn't set SIGTRAP");
479
+ }
480
481
allocate_segv_handler();
482
src/sys.c
@@ -720,7 +720,7 @@ JL_DLLEXPORT void jl_raise_debugger(void)
720
if (IsDebuggerPresent() == 1)
721
DebugBreak();
722
#else
723
- kill(getpid(), SIGINT);
+ raise(SIGTRAP);
724
#endif // _OS_WINDOWS_
725
726
0 commit comments