# HG changeset patch # User John W. Eaton # Date 1487381505 18000 # Node ID dfee8aa390c229f03f4cc6fc391410dda6798381 # Parent 7cd6ecc578d629d8c5ea935f4e26082c3053ac6e# Parent b93e1d29790e6cd70a5a52100111d3b48368aedb maint: Merge stable to default. diff -r 7cd6ecc578d6 -r dfee8aa390c2 src/main.in.cc --- a/src/main.in.cc Fri Feb 17 20:26:20 2017 -0500 +++ b/src/main.in.cc Fri Feb 17 20:31:45 2017 -0500 @@ -312,9 +312,10 @@ // the GUI process will be in a separate process group. // // The GUI process must be in a separate process group so that we - // can send and interrupt to all child processes when generating - // interrupt signals. See also pthread_thread_manager::interrupt - // in libgui/src/thread-manager.cc and bug #49609. + // can send an interrupt signal to all child processes when + // interrupting the interpreter. See also bug #49609 and the + // function pthread_thread_manager::interrupt in the file + // libgui/src/thread-manager.cc. install_signal_handlers ();