From d982bac008392654047c55b799ccc8af700a4f75 Mon Sep 17 00:00:00 2001
From: Albert Jessurum <ajessu@gmail.com>
Date: Sat, 2 Jun 2012 10:23:01 +0200
Subject: [PATCH] Fix built-in server for PHP > 5.4.1

---
 .../Bundle/FrameworkBundle/Resources/config/router.php       | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Symfony/Bundle/FrameworkBundle/Resources/config/router.php b/src/Symfony/Bundle/FrameworkBundle/Resources/config/router.php
index 5cc5e7db07..fb833cc578 100644
--- a/src/Symfony/Bundle/FrameworkBundle/Resources/config/router.php
+++ b/src/Symfony/Bundle/FrameworkBundle/Resources/config/router.php
@@ -18,12 +18,13 @@
  * and pass it as a value to 'router' option of server:run command.
  *
  * @author: Michał Pipa <michal.pipa.xsolve@gmail.com>
+ * @author: Albert Jessurum <ajessu@gmail.com>
  */
 
-if (isset($_SERVER['SCRIPT_FILENAME'])) {
+if (is_file($_SERVER['DOCUMENT_ROOT'] . DIRECTORY_SEPARATOR . $_SERVER['REQUEST_URI'])) {
     return false;
 }
 
-$_SERVER['SCRIPT_FILENAME'] = $_SERVER['DOCUMENT_ROOT'].DIRECTORY_SEPARATOR.'app_dev.php';
+$_SERVER['SCRIPT_FILENAME'] = $_SERVER['DOCUMENT_ROOT'] . DIRECTORY_SEPARATOR . 'app_dev.php';
 
 require 'app_dev.php';