From 8e9b03fce7eb33b5f4c2529d1765ce8d144cfcfd Mon Sep 17 00:00:00 2001
From: Hannes Magnusson <bjori@mongodb.com>
Date: Wed, 20 Nov 2013 15:06:45 -0800
Subject: [PATCH] Add a router file for the built-in webserver

Usage: php -S localhost:8080 .router.php
---
 .router.php | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .router.php

diff --git a/.router.php b/.router.php
new file mode 100644
index 000000000..71e2c6e9b
--- /dev/null
+++ b/.router.php
@@ -0,0 +1,15 @@
+<?php
+$_SERVER["SERVER_ADDR"] = $_SERVER["HTTP_HOST"];
+
+$filename = isset($_SERVER["PATH_INFO"]) ? $_SERVER["PATH_INFO"] : $_SERVER["SCRIPT_NAME"];
+$afilename = $_SERVER["DOCUMENT_ROOT"] . $filename;
+$afilename = realpath($afilename);
+$len = strlen($_SERVER["DOCUMENT_ROOT"]);
+
+if (strncmp($_SERVER["DOCUMENT_ROOT"], $afilename, $len) == 0) {
+    if (file_exists($afilename)) {
+        return false;
+    }
+}
+include_once "error.php";
+