diff options
Diffstat (limited to 'www')
-rw-r--r-- | www/wiki/LocalSettings.php.sample | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/www/wiki/LocalSettings.php.sample b/www/wiki/LocalSettings.php.sample index 856de73e..622a1078 100644 --- a/www/wiki/LocalSettings.php.sample +++ b/www/wiki/LocalSettings.php.sample @@ -1,19 +1,32 @@ <?php -$domain = $_SERVER['SERVER_NAME']; +if (empty($_SERVER["REMOTE_ADDR"])) { + // called from script + echo "Configured domains: \n"; + echo shell_exec("cat LocalSettings.php | grep case | sed s/case//g"); + echo "\n"; + echo "Enter the number of domain of the wiki you want to affect: "; + $handle = fopen ("php://stdin","r"); + $domain = fgets($handle); + echo "\n"; + +} else { + // called from web + $domain = $_SERVER['SERVER_NAME']; +} switch ($domain) { - case 'crianzamutua.test': - include(__DIR__ . '/../../etc/global_config-'.$domain.'.php'); - include(__DIR__ . '/LocalSettings-'.$domain.'.php'); + case 1: case 'crianzamutua.test': + include(__DIR__ . '/../../etc/global_config-crianzamutua.php'); + include(__DIR__ . '/custom/crianzamutua/LocalSettings.php'); break; - case 'mushukaway.test': - echo "Es mushukaway.test"; + case 2: case 'map.globaltapestryofalternatives.test': + include(__DIR__ . '/../../etc/global_config-gta.php'); + include(__DIR__ . '/custom/gta/LocalSettings.php'); break; default: echo "No config file for this domain."; break; } - ?> |