Fix UID acquisition for systems that don't set $UID

master
Janek Bevendorff 9 years ago
parent 7075faeb7a
commit 1b03f13769

@ -32,7 +32,7 @@ if [[ "$1" != "all" ]] && [[ "$1" != "client" ]] && [[ "$1" != "server" ]]; then
exit
fi
if [ $UID -ne 0 ]; then
if [ $(id -u) -ne 0 ]; then
echo "ERROR: This script must be run as root."
exit 1
fi

Loading…
Cancel
Save