X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2FObj%2Fbrisk.phh;h=135d2999b7b8ceaa50786bed2337db31ff04a744;hb=f6a4ad0c8fed8ed0d3bab5fba9842cf00576c028;hp=91121e5bf729e5e43b9550215230727d6ad79fef;hpb=5343028bf2e38bfb1d82b769f9d410636dee6514;p=brisk.git

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 91121e5..135d299 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -284,6 +284,12 @@ Copyright 2006-2009 <a href=\\"mailto:brisk@alternativeoutput.it\\">Matteo Nasta
 <br><b>version '.$G_brisk_version.'</b><br><br>
 Copyright 2006-2009 <a href=\\"mailto:brisk@alternativeoutput.it\\">Matteo Nastasi</a> (aka mop)<br><br>');
 
+function mop_flush()
+{
+    flush();
+    ob_flush();
+}
+
 function file_lock($fname, $is_exclusive)
 {
     if (($res = fopen($fname, "r+")) == FALSE) {
@@ -2148,7 +2154,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 */