diff options
| author | 2017-02-23 18:53:08 +0100 | |
|---|---|---|
| committer | 2017-02-23 18:53:08 +0100 | |
| commit | efcab77470d2571be6537a92b59fc1e44cecddb9 (patch) | |
| tree | 990b491688f4a38a10fd134f6c2c352a37353ae1 /cli/do-install.php | |
| parent | 5f637bd816b7323885bfe1751a1724ee59a822f6 (diff) | |
Fixed empty db-prefix in do-install.php
Diffstat (limited to 'cli/do-install.php')
| -rwxr-xr-x | cli/do-install.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/do-install.php b/cli/do-install.php index 100d4947f..1f9072060 100755 --- a/cli/do-install.php +++ b/cli/do-install.php @@ -73,7 +73,7 @@ if ((!empty($config['base_url'])) && server_is_public($config['base_url'])) { foreach ($dBparams as $dBparam) { $dBparam = rtrim($dBparam, ':'); - if (!empty($options[$dBparam])) { + if (isset($options[$dBparam])) { $param = substr($dBparam, strlen('db-')); $config['db'][$param] = $options[$dBparam]; } |
