remove accidentally committed exit command

diff --git a/website/search.php b/website/search.php
index 93710770e2509793e9c89b4daddefce8ee6d5184..f71874049bdfbae82b1d86c9ecb6bc515a149ec2 100755 (executable)
--- a/website/search.php
+++ b/website/search.php
@@ -1,5 +1,4 @@
 <?php
-phpinfo();exit;
        require_once(dirname(dirname(__FILE__)).'/lib/init-website.php');
        require_once(CONST_BasePath.'/lib/log.php');