We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

Commit f0d3ba2b authored by Evan Prodromou's avatar Evan Prodromou

Add a flag for if there's no config file

parent 99d8fea3
......@@ -178,9 +178,12 @@ if (strlen($_path) > 0) {
$_config_files[] = INSTALLDIR.'/config.php';
$_have_a_config = false;
foreach ($_config_files as $_config_file) {
if (file_exists($_config_file)) {
$_have_a_config = true;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment