# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1524057722 14400
# Node ID 607c59f168343a0a9f4e81d3d4cd1cec2b433987
# Parent  9eb3755b419bf5c6d37dc739dcd84bcdac7eac52# Parent  692fbde19871c2cc815d7cc7e0581770fede143c
maint: Merge stable to default.

diff -r 9eb3755b419b -r 607c59f16834 libgui/src/terminal-dock-widget.cc
--- a/libgui/src/terminal-dock-widget.cc	Tue Apr 17 21:47:28 2018 -0400
+++ b/libgui/src/terminal-dock-widget.cc	Wed Apr 18 09:22:02 2018 -0400
@@ -27,12 +27,14 @@
 
 #include <QDesktopWidget>
 
+#include "quit.h"
+#include "signal-wrappers.h"
+
+#include "sighandlers.h"
+
 #include "terminal-dock-widget.h"
 #include "resource-manager.h"
 
-#include "sighandlers.h"
-#include "quit.h"
-
 namespace octave
 {
   terminal_dock_widget::terminal_dock_widget (QWidget *p)
@@ -110,5 +112,13 @@
 
     octave_signal_caught = 1;
     octave_interrupt_state++;
+
+    // Send SIGINT to all other processes in our process group.
+    // This is needed to interrupt calls to system (), for example.
+
+    int sigint;
+    octave_get_sig_number ("SIGINT", &sigint);
+
+    octave_kill_wrapper (0, sigint);
   }
 }