diff options
Diffstat (limited to 'src/GsWidget.cxx')
| -rw-r--r-- | src/GsWidget.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GsWidget.cxx b/src/GsWidget.cxx index 7b50b6f..e2c3341 100644 --- a/src/GsWidget.cxx +++ b/src/GsWidget.cxx @@ -1,5 +1,5 @@ // -// "$Id: GsWidget.cxx,v 1.10 2004/10/26 17:22:45 hofmann Exp $" +// "$Id: GsWidget.cxx,v 1.11 2004/10/26 18:08:57 hofmann Exp $" // // GsWidget routines. // @@ -84,7 +84,7 @@ void GsWidget::setProps() { void GsWidget::kill_gs() { int status; - fprintf(stderr, "Killing...\n"); + if (gs_pid > 0) { kill(gs_pid, SIGTERM); waitpid(gs_pid, &status, 0); |