omitted a space in pattern from last checkin.

diff --git a/scripts/core/functions.sh b/scripts/core/functions.sh
index 9740d2a158d70fdf2100f4a79d7f10b3fd4e97b6..8a2f35865a36c59cad49bda5ef6c63af8c465cf9 100644 (file)
--- a/scripts/core/functions.sh
+++ b/scripts/core/functions.sh
@@ -102,7 +102,7 @@ if [ -z "$skip_all" ]; then
 #      local CR='
 #'  # embedded carriage return.
 #      local appropriate_pattern="s/^.*  *\([0-9][0-9]*\)[ $CR]*\$/\1/p"
-      local appropriate_pattern="s/^.*  *\([0-9][0-9]*\)*\$/\1/p"
+      local appropriate_pattern="s/^.*  *\([0-9][0-9]*\) *\$/\1/p"
       for i in "${patterns[@]}"; do
         PIDS_SOUGHT+=($(cat $PID_DUMP \
           | grep -i "$i" \