1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge with 4.0.14

This commit is contained in:
monty@mashka.mysql.fi
2003-08-11 22:44:43 +03:00
363 changed files with 13819 additions and 2895 deletions

View File

@ -138,7 +138,13 @@ then
fi
fi
hostname=`@HOSTNAME@` # Install this too in the user table
# Try to determine the fully qualified domain name (FQDN)
HOSTNAME="@HOSTNAME@"
if $HOSTNAME -f > /dev/null 2>&1 ; then
hostname=`$HOSTNAME -f`
else
hostname=`$HOSTNAME`
fi
# Check if hostname is valid
if test "$windows" -eq 0 -a "$in_rpm" -eq 0 -a $force -eq 0