X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2FObj%2Fbrisk.phh;h=0dbb35895b44243736d7698acfc383173531e60c;hb=d9d7c36af2f5ec4c0688e77e58d3d0b930cd2658;hp=67854cfbe18aa2b98e9388e28869a4808e9c1e0f;hpb=04de0e58bd8e0d0de4e317d79611dfdb71180d22;p=brisk.git

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 67854cf..0dbb358 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -284,12 +284,34 @@ 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 file_lock($fname, $is_exclusive)
+{
+    if (($res = fopen($fname, "r+")) == FALSE) {
+        return (FALSE);
+    }
+        
+    if (flock($res, ($is_exclusive ? LOCK_EX : LOCK_SH)) == FALSE) {
+        fclose($res);
+        return (FALSE);
+    }
+
+    return ($res);
+}
+
+function file_unlock($res)
+{
+    if ($res != FALSE) {
+        flock($res, LOCK_UN);
+        fclose($res);
+    }
+}
+
 function webservers_exceeded()
 {
     return(file_exists(PROXY_PATH."/webservers_exceded.flag"));
 }
 
-function check_webservers()
+function webservers_check()
 {
     GLOBAL $G_webserver_max;
 
@@ -1117,7 +1139,7 @@ class Room {
         return ($ismod);
     }
       
-        check_webservers();
+    webservers_check();
       // FIXME BRISK4: include for each kind of table
       require_once("${G_base}briskin5/Obj/briskin5.phh");