diff options
Diffstat (limited to 'regress/lib.sh')
| -rw-r--r-- | regress/lib.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/regress/lib.sh b/regress/lib.sh index 330d18d..d5e9609 100644 --- a/regress/lib.sh +++ b/regress/lib.sh @@ -194,11 +194,12 @@ count() { } quit() { - pid="$(cat gmid.pid || true)" + pid="$(cat gmid.pid || true)" 2>/dev/null if [ "$pid" != "" ]; then kill $pid || true wait || true fi + rm gmid.pid } onexit() { |