Split the mysql host into port and hostname in installer before trying to g...

tbrehm

2009-03-10 399f825f9d41e81c2bd43fb3316ce72d44d0175a

 install/install.php

@@ -129,7 +129,9 @@
unset($finished);

// Resolve the IP address of the mysql hostname.
if(!$conf['mysql']['ip'] = gethostbyname($conf['mysql']['host'])) die('Unable to resolve hostname'.$conf['mysql']['host']);
$tmp = explode(':',$conf['mysql']['host']);
if(!$conf['mysql']['ip'] = gethostbyname($tmp[0])) die('Unable to resolve hostname'.$tmp[0]);
unset($tmp);


//** initializing database connection