# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1394663534 -7200
# Node ID e08f80b95910afd3a274a8cf3e221f63d8302535
# Parent  61292cb4e59c5a04f5257d137a1e33a0d6252a9f
Add PHP router script.

diff -r 61292cb4e59c -r e08f80b95910 router.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/router.php	Thu Mar 13 00:32:14 2014 +0200
@@ -0,0 +1,13 @@
+<?php
+// The hack to get this working on PHP 5.4 built-in web server
+// php -S localhost:8888 router.php
+// http://localhost:8888/
+
+if (preg_match("/\/[a-z0-9-_]+\.(?:png|jpg|jpeg|gif|css|php)/", $_SERVER["REQUEST_URI"]))
+  return false;
+else
+{
+  require_once "index.php";
+  return true;
+}
+?>
\ No newline at end of file