From db7299633c15a897556aeee1901cb18113c5f46b Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Thu, 6 Aug 2015 15:28:36 +0100
Subject: [PATCH] undefined debug

---
 lib/php/default.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/php/default.php b/lib/php/default.php
index c05ae918..4f30e1c6 100644
--- a/lib/php/default.php
+++ b/lib/php/default.php
@@ -1,5 +1,5 @@
 <?php
-if (!defined('DEBUG')) define('DEBUG',(int)$_REQUEST['debug']);
+if (!defined('DEBUG')) define('DEBUG',(int)@$_REQUEST['debug']);
 ini_set('include_path', realpath(dirname(__FILE__)).':'.ini_get('include_path'));
 
 require_once((dirname(__FILE__).'/functions.php'));
-- 
2.47.3