diff -r 89116f28083f tools/hotplug/Linux/locking.sh --- a/tools/hotplug/Linux/locking.sh Wed Dec 08 10:46:31 2010 +0000 +++ b/tools/hotplug/Linux/locking.sh Mon Dec 13 10:36:25 2010 +0900 @@ -61,6 +61,12 @@ _claim_lock() then owner="$new_owner" retries=0 + else + local pid=$(echo $owner | cut -d : -f 1) + if [ ! -f "/proc/$pid/status" ] + then + _release_lock $lockdir + fi fi if [ $retries -gt $LOCK_SPINNING_RETRIES ]