summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--www/wiki/LocalSettings.php.sample27
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;
}
-
?>