removed space

[brisk.git] / web / briskin5 / index_wr.php

diff --git a/web/briskin5/index_wr.php b/web/briskin5/index_wr.php
index 3935e0a..806888e 100644 (file)
--- a/web/briskin5/index_wr.php
+++ b/web/briskin5/index_wr.php
@@ -2,7 +2,10 @@
 /*
  *  brisk - index_wr.php
  *
- *  Copyright (C) 2006 matteo.nastasi@milug.org
+ *  Copyright (C) 2006-2008 Matteo Nastasi
+ *                          mailto: nastasi@alternativeoutput.it 
+ *                                  matteo.nastasi@milug.org
+ *                          web: http://www.alternativeoutput.it
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -22,14 +25,14 @@
  */
 
 require_once("../Obj/brisk.phh");
-require_once("../Obj/proxyscan.phh");
+// require_once("../Obj/proxyscan.phh");
 require_once("Obj/briskin5.phh");
 
 // Use of proxies isn't allowed.
-if (is_proxy()) {
-  sleep(5);
-  exit;
-}
+// if (is_proxy()) {
+//   sleep(5);
+//   exit;
+//}
 
 if (DEBUGGING == "local" && $_SERVER['REMOTE_ADDR'] != '127.0.0.1') {
   echo "Debugging time!";