From e7a14a316ee882f42f28f74dd01cb1988151533f Mon Sep 17 00:00:00 2001 From: Matthieu Napoli Date: Fri, 11 Apr 2014 17:03:05 +0200 Subject: [PATCH] Allow access to app_dev.php whith PHP's dev webserver --- web/app_dev.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/app_dev.php b/web/app_dev.php index 872a882835..e0279c2aeb 100644 --- a/web/app_dev.php +++ b/web/app_dev.php @@ -11,7 +11,7 @@ // Feel free to remove this, extend it, or make something more sophisticated. if (isset($_SERVER['HTTP_CLIENT_IP']) || isset($_SERVER['HTTP_X_FORWARDED_FOR']) - || !in_array(@$_SERVER['REMOTE_ADDR'], array('127.0.0.1', 'fe80::1', '::1')) + || !(in_array(@$_SERVER['REMOTE_ADDR'], array('127.0.0.1', 'fe80::1', '::1')) || php_sapi_name() === 'cli-server') ) { header('HTTP/1.0 403 Forbidden'); exit('You are not allowed to access this file. Check '.basename(__FILE__).' for more information.');