var $the_end;
var $tok;
+ 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();
+
+ $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) {
$this->user = array();
$this->table = array();