diff options
| author | Johannes Hofmann <johannes.hofmann@gmx.de> | 2004-10-26 16:08:57 +0000 |
|---|---|---|
| committer | Johannes Hofmann <johannes.hofmann@gmx.de> | 2004-10-26 16:08:57 +0000 |
| commit | 7fce5830e8404516079787ca6fb1975ba8947965 (patch) | |
| tree | 84abd4680531ba85d14423b6c48e62f1d97d5f5d /src/GsWidget.cxx | |
| parent | 85eb1cbeab8da10561784621f5f59b42ef23fbd9 (diff) | |
- cleanups - fix damage stuff for long tags
- cleanups
- fix damage stuff for long tags
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); |