From ff3c49ff3cbad45961f1a8d5264f587598134556 Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Wed, 18 May 2011 23:44:00 +0200
Subject: [PATCH] trace_ftok added
---
web/Obj/brisk.phh | 10 ++++++++++
1 file changed, 10 insertions(+)
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;
--
2.17.1