From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Mon, 28 Nov 2011 08:10:25 +0000 (+0100)
Subject: sources cleanup
X-Git-Tag: 3.6.0~5
X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=4cbdccb22145e23fab22225a972b490842209c24;p=brisk.git

sources cleanup
---

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 3f12e3f..140e22e 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2366,7 +2366,7 @@ class Room {
 
           for ($i = 0 ; $i < MAX_PLAYERS ; $i++) {
               if (($room->user[$i] = User::load_data($i, FALSE)) == FALSE) {
-                  log_crit("Bin5_user::load_data failed");
+                  log_crit("User::load_data failed");
                   break;
               }
           }
diff --git a/web/brisk.css b/web/brisk.css
index 09a501d..98bba66 100644
--- a/web/brisk.css
+++ b/web/brisk.css
@@ -148,7 +148,7 @@ input.input_sub {
     color: black;
     background-color: #f8f8f8;
     vertical-align: middle;
-    text-decoration:none;
+    text-decoration: none;
     font-size: 100%;
     cursor: pointer;
     height: 22px ! important;
@@ -170,7 +170,7 @@ input.input_sub_hi {
     background-color: white;
 /*    background-color: RGB(246,246,246); */
     vertical-align: middle;
-    text-decoration:none;
+    text-decoration: none;
     font-size: 100%;
     cursor: pointer;
     height: 22px ! important;
@@ -186,7 +186,7 @@ input.button {
     color: black;
     background-color: RGB(246,246,246);
     vertical-align: middle;
-    text-decoration:none;
+    text-decoration: none;
     font-size: 100%;
     cursor: pointer;
     height: 20px ! important;
diff --git a/web/index.php b/web/index.php
index f3b8229..ee5942e 100644
--- a/web/index.php
+++ b/web/index.php
@@ -28,7 +28,6 @@ require_once("Obj/brisk.phh");
 require_once("Obj/auth.phh");
 require_once("Obj/proxyscan.phh");
 
-
 $mlang_room = array( 'userpasserr'  => array('it' => 'Utente e/o password errati.',
                                              'en' => 'Wrong user and/or password.'),
                      'userpassmust' => array('it' => 'Il nickname deve contenere almeno una lettera o una cifra.',
diff --git a/web/index_rd.php b/web/index_rd.php
index 50675eb..2148234 100644
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -474,8 +474,8 @@ for ($i = 0 ; time() < $endtime ; $i++) {
     log_send("IS_PAGE: ".($is_page_streaming == TRUE ? "TRUE" : "FALSE")."EXT_STEP: ".$ext_step." ENDTIME: [".$endtime."] ".$ret);
     mop_flush();
     log_mop(0, 'index_rd.php: after mop_flush (begin: '.sprintf("%f", $pre_main).')');
-    if ($is_page_streaming)
-      break;
+    if ($is_page_streaming) 
+        break;
   }
   $old_stat =  $stat;
   $old_subst = $subst;
@@ -502,5 +502,4 @@ foreach ($S_load_stat as $key => $value) {
 }
 $s = sprintf("index_rd.php stats:  R: %d W: %d - %s", $tr, $tw, $s);
 log_crit($s);
-
 ?>