X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2FObj%2Fhardban.phh;h=239ed7ddfe2aab17b6102f542a585a5d6fca9b3e;hb=d4946c548a47a8eb564ced365810be6d0583d814;hp=61ddb9125f43d780a681e321c4ecb16d3da5ef0a;hpb=173cad98e0e66707af8ebf6d2f1a902685ea2ea4;p=brisk.git

diff --git a/web/Obj/hardban.phh b/web/Obj/hardban.phh
index 61ddb91..239ed7d 100644
--- a/web/Obj/hardban.phh
+++ b/web/Obj/hardban.phh
@@ -241,13 +241,11 @@ class Hardbans {
   function lock_data()
   {
     if (($tok = @ftok(FTOK_PATH."/hardbans", "B")) == -1) {
-      echo "FTOK FAILED";
-      exit;
+      return (FALSE);
     }
     // echo "FTOK ".$tok."<br>";
     if (($res = sem_get($tok)) == FALSE) {
-      echo "SEM_GET FAILED";
-      exit;
+      return (FALSE);
     }
     if (sem_acquire($res)) {   
       log_lock("LOCK hardbans");