From 3738ee00db8a2ce5184ea40c9a26d80c8336665f Mon Sep 17 00:00:00 2001
From: Scott Baker <bakers@cs.arizona.edu>
Date: Wed, 20 Apr 2011 16:26:27 +0000
Subject: [PATCH] look for rpm instead of yum
---
pl_mop.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/pl_mop.sh b/pl_mop.sh
index 454982e..24346e1 100755
--- a/pl_mop.sh
+++ b/pl_mop.sh
@@ -191,10 +191,10 @@ kill_multi_nm(){
fix_rpm() {
echo "* Checking for stuck rpm processes"
- yum_count=`pgrep -f "yum clean all" | wc -l`
+ rpm_count=`pgrep -f "rpm" | wc -l`
- if [[ $yum_count -ge 2 ]]; then
- echo "* $yum_count yum processes found"
+ if [[ $rpm_count -ge 6 ]]; then
+ echo "* $rpm_count rpm processes found"
# kill rpm processes, attempt up to 10 times and then give up
try_count=0
--
2.47.0