index 63be63beef326ded85f739040d6542785838ab41..c02feffc7d4ac392582b72de418397833f02a199 100644 (file)
}
function stop_sysdbd() {
- if test -z $SYSDBD_PID; then
+ if test -z "$SYSDBD_PID"; then
echo "Cannot stop sysdbd; PID unknown" >&2
exit 1
fi
}
function wait_for_sysdbd() {
+ local socket="$SOCKET_FILE"
local i
+ if test -n "$1"; then
+ socket="$1"
+ fi
for (( i=0; i<10; i++ )); do
- if test -e "$SOCKET_FILE"; then
+ if test -e "$socket"; then
break
fi
sleep 1