diff options
| -rwxr-xr-x | test/scripts/run_in_venv_with_cleanup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/scripts/run_in_venv_with_cleanup.sh b/test/scripts/run_in_venv_with_cleanup.sh index 3f9d44ff4b5..454c9c9c4ad 100755 --- a/test/scripts/run_in_venv_with_cleanup.sh +++ b/test/scripts/run_in_venv_with_cleanup.sh @@ -21,7 +21,7 @@ panic() { atexit() { group_id=`ps -p $$ -o pgid=` my_id=$$ - ids=`pgrep -g $group_id -d ' ' | sed "s/\b$my_id\b//g"` + ids=`pgrep -g $group_id -d ' ' | gsed "s/\b$my_id\b//g"` echo "Killing possible remaining process IDs: $ids" for id in $ids do |