- check if date.timezone is set, report it and set something if not, as it gives tons of errors in install log

- some MySQL packages (mysql.com, MariaDB, ...) use "mysql" as service name instead of RH default "mysqld"
This commit is contained in:
Ralf Becker 2012-04-19 12:40:59 +00:00
parent e5fd49940f
commit c9536aa970

View File

@ -76,6 +76,14 @@ if (($lang = isset($_ENV['LANG']) ? $_ENV['LANG'] : $_SERVER['LANG']))
}
$config['source_dir'] = dirname(dirname(dirname(__FILE__)));
// check if date.timezone is set, report it and set something if not, as it gives tons of errors in install log
if (!ini_get('date.timezone'))
{
if (!($tz = date_default_timezone_get())) $tz = 'UTC';
echo "No default timezone (php.ini date.timezone) set, we temporary set '$tz'. You should fix that permanent!\n";
ini_set('date.timezone',$tz);
}
/**
* Set distribution spezific defaults
*
@ -133,7 +141,15 @@ function set_distro_defaults($distro=null)
default:
$config['distro'] = 'rh';
// fall through
case 'rh': // nothing to do, defaults are already set
case 'rh':
// some MySQL packages (mysql.com, MariaDB, ...) use "mysql" as service name instead of RH default "mysqld"
if (!file_exists('/etc/init.d/mysqld') && file_exists('/etc/init.d/mysql'))
{
foreach(array('start_db','autostart_db') as $name)
{
$config[$name] = str_replace('mysqld','mysql',$config[$name]);
}
}
break;
}
}