From 8d5c42d7f893cd10ce33ee72d9deb315e2ee2e7f Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Sun, 22 May 2011 10:17:36 +0000
Subject: [PATCH] Support for yet another subdomain

---
 Docs/Webpage/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Docs/Webpage/index.php b/Docs/Webpage/index.php
index 6a887e476..ffa308f4a 100644
--- a/Docs/Webpage/index.php
+++ b/Docs/Webpage/index.php
@@ -1,6 +1,6 @@
 <?
     $url = $_SERVER['HTTP_HOST'];
-    if($url == "map.project-osrm.org") {
+    if($url == "map.project-osrm.org" || $url == "www.map.project-osrm.org") {
     	$file = file_get_contents('map.html');
 		echo $file;
     	return;