sources cleanup

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 3f12e3f61b238a078ce4fea4d2ef2a97b25f11c6..140e22e6205fad6c84e5dc95727498fd12766ba1 100644 (file)
--- 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 09a501dc62e583bf94a1a7befa32fb548962f4c4..98bba662d8e29d089ae63e14811d953ca2bf02d9 100644 (file)
--- 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 f3b822942e8b98b4a046b8e341585b95fc8faf28..ee5942e0df6303bb885d1ebbac318bb77244b1f2 100644 (file)
--- 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 50675eb51ad172440f181ce83005f3cfdfbc3b94..21482341e7e234e1c40f734e215930a32e5d4d2e 100644 (file)
--- 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);
-
 ?>