don't use HOSTNAME that is already set
[infrastructure.git] / scripts / 5.2.7.sh
2013-07-14 Thierry Parmentelat5.2.7