doc/website/switch.php

<?PHP
switch ($_SERVER["HTTP_HOST"]) {
 case "www.gpg4win.de":
 case "gpg4win.de":
   $target = "index-de.html";
   break;
 default:
   $target = "index.html";
 }
readfile($target);
?>
1	<?PHP
2	switch ($_SERVER["HTTP_HOST"]) {
3	case "www.gpg4win.de":
4	case "gpg4win.de":
5	$target = "index-de.html";
6	break;
7	default:
8	$target = "index.html";
9	}
10	readfile($target);
11	?>