Redo "Simplify usage of $GSC_PID.", which was accidently undone.

This commit is contained in:
Christoph Mallon 2012-04-30 12:51:36 +02:00
parent b6325d7858
commit 57bbdebb44

View file

@ -31,7 +31,7 @@ if ps auxww | grep -q 'unclutter'; then
fi fi
# if gnome-screensaver was running.. # if gnome-screensaver was running..
if [ $GSC_PID -gt 0 ]; then if [ -n "$GSC_PID" ]; then
echo "reactivating gnome screensaver" echo "reactivating gnome screensaver"
kill $GSC_PID kill "$GSC_PID"
fi fi