From b000085f6c20397e104ae63a05a1dc9943ca9b6a Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Tue, 5 Feb 2013 18:38:50 +0100
Subject: [PATCH] aborted function removed

---
 web/briskin5/Obj/briskin5.phh | 23 -----------------------
 web/index_wr.php              |  2 +-
 2 files changed, 1 insertion(+), 24 deletions(-)

diff --git a/web/briskin5/Obj/briskin5.phh b/web/briskin5/Obj/briskin5.phh
index fdd578f..9f22a62 100644
--- a/web/briskin5/Obj/briskin5.phh
+++ b/web/briskin5/Obj/briskin5.phh
@@ -803,29 +803,6 @@ class Bin5 {
 
     var $delay_mgr;
 
-    static function page_manager($room, $header_out, $path, $method, $addr, $get, $post, $cookie) 
-    {
-        switch ($path) {
-        case "":
-        case "index.php":
-            ob_start();
-            bin5_index_main($room, $header_out, $addr, $get, $post, $cookie);
-            $content = ob_get_contents();
-            ob_end_clean();
-            
-            force_no_cache($header_out);
-
-            $pgflush = new PageFlush($new_socket, $curtime, 20, $header_out, $content);
-            
-            if ($pgflush->try_flush($curtime) == FALSE) {
-                // Add $pgflush to the pgflush array
-                array_push($pages_flush, $pgflush);
-            }
-            break;
-        }
-        return TRUE;
-    }
-
     function Bin5 ($room, $table_idx, $table_token, $get, $post, $cookie) {
         $this->user = array();
         $this->table = array();
diff --git a/web/index_wr.php b/web/index_wr.php
index a079438..e2f67ea 100644
--- a/web/index_wr.php
+++ b/web/index_wr.php
@@ -93,7 +93,7 @@ function index_wr_main(&$room, $remote_addr_full, $get, $post, $cookie)
     if (($sess = gpcs_var('sess', $get, $post, $cookie)) === FALSE)
         $sess = "";
 
-    
+
     if (DEBUGGING == "local" && $remote_addr != '127.0.0.1') {
         echo "Debugging time!";
         return (FALSE);
-- 
2.17.1