aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtest/scripts/run_in_venv_with_cleanup.sh2
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