X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2FObj%2Fbrisk.phh;h=a5bec276d13ecb9383ac991c12b105c4e2427932;hb=ff3c49ff3cbad45961f1a8d5264f587598134556;hp=c829980df8aa68b6507aa7697e667a3b50a2ad28;hpb=8e74a78fab641d685d534a821f114eda7c2cdd78;p=brisk.git

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index c829980..a5bec27 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2578,6 +2578,16 @@ function btrace_line($ar)
     return ($ret);
 }
 
+function trace_ftok($id, $add)
+{
+    // NOTE: without space to use sed to substitute "= @ftok("  with "= @ftok("
+    $tok=@ftok($id, $add);
+
+    log_shme($tok.": ".$id." + ".$add);
+
+    return ($tok);
+}
+
 function log_mop($step, $log)
 {
     GLOBAL $sess, $PHP_SELF;