7 if [ "$SYSTEM" = "Darwin" ]; then
8 USER
=`id | sed 's/(.*//; s/uid=//'`
11 elif [ -z "$USER" ]; then
12 USER
=`id | sed 's/).*//; s/.*(//'`
18 ipcs
-a |
grep $USER |
awk '{ print ($2) }' |
xargs -r ipcrm sem
;
21 semids
=`$IPCS | grep "^s" | grep $USER | awk '{ print ($2) }'`