diff options
author | Yaco <franco@reevo.org> | 2021-04-13 05:49:06 -0300 |
---|---|---|
committer | Yaco <franco@reevo.org> | 2021-04-13 05:49:06 -0300 |
commit | f1da34052ffedb46388cfbf3cdece843c1cda7ee (patch) | |
tree | 50d63940dc7bd14deec7cebf74a188c149d47cc9 /www/wiki | |
parent | 86079b1b918d87e32f423f06e0dad4a960937d3a (diff) |
adds remote control
Diffstat (limited to 'www/wiki')
-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; } - ?> |