X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex_rd.php;h=240891b1d642957530090bebf3e670539a22b328;hb=9441f09e33850c2a74e00ec909da4522c451abb6;hp=994fe874188e45689e227bfede80113be015eb13;hpb=6a724f4a8eb98976306a16ca90b3d8d708505990;p=brisk.git

diff --git a/web/index_rd.php b/web/index_rd.php
index 994fe87..240891b 100644
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -78,8 +78,10 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
     }
     unlock_data($sem);
   }
-  else
+  else {
+    unlock_data($sem);
     return (FALSE);
+  }
     
   if (($user = &get_user(&$bri, $sess, $idx)) == FALSE) {
     return (unrecerror());
@@ -113,6 +115,7 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
     }
     else {
       log_rd2($sess, "TRANS NON ATTIVATO");
+      unlock_data($sem);
     }
   }