X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;ds=inline;f=web%2FObj%2Fbrisk.phh;h=140e22e6205fad6c84e5dc95727498fd12766ba1;hb=4cbdccb22145e23fab22225a972b490842209c24;hp=91121e5bf729e5e43b9550215230727d6ad79fef;hpb=5343028bf2e38bfb1d82b769f9d410636dee6514;p=brisk.git
diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 91121e5..140e22e 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -284,6 +284,12 @@ Copyright 2006-2009 Matteo Nasta
version '.$G_brisk_version.'
Copyright 2006-2009 Matteo Nastasi (aka mop)
');
+function mop_flush()
+{
+ ob_flush();
+ flush();
+}
+
function file_lock($fname, $is_exclusive)
{
if (($res = fopen($fname, "r+")) == FALSE) {
@@ -315,6 +321,9 @@ function webservers_check()
{
GLOBAL $G_webserver_max;
+ /* FIXME: check all procs expirations */
+ return (10);
+
$ct = 0;
$dh = opendir('/proc');
@@ -2148,7 +2157,7 @@ class Room {
log_auth("XXX", sprintf("TROVATO A QUESTO PUNTO [%d] sess [%s] name [%s]", $idx, $sess, $name_new));
- /* there is another user logged with your account and you and him have authenticated => che new user
+ /* there is another user logged with your account and you and him have authenticated => new user
get the session of the old user */
if ($ghost > -1 && $ghost_auth && ($authenticate != FALSE)) {
/* swap session */
@@ -2357,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;
}
}