diff options
Diffstat (limited to 'bin/clean_sems.sh')
-rwxr-xr-x | bin/clean_sems.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/bin/clean_sems.sh b/bin/clean_sems.sh deleted file mode 100755 index 57fbf3e9c06..00000000000 --- a/bin/clean_sems.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -if [ -z "$USER" ]; then - USER=`id | sed 's/).*//; s/.*(//'` -fi - -SYSTEM=`uname -s` -case "$SYSTEM" in - "Linux" ) - ipcs -a | grep $USER | awk '{ print ($2) }' | xargs ipcrm sem; - ;; - * ) - semids=`ipcs | grep "^s" | grep $USER | awk '{ print ($2) }'` - for p in $semids - do ipcrm -s $p - done - ;; -esac |