trace_ftok added
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Wed, 18 May 2011 21:44:00 +0000 (23:44 +0200)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Wed, 18 May 2011 21:44:00 +0000 (23:44 +0200)
web/Obj/brisk.phh

index c829980..a5bec27 100644 (file)
@@ -2578,6 +2578,16 @@ function btrace_line($ar)
     return ($ret);
 }
 
     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;
 function log_mop($step, $log)
 {
     GLOBAL $sess, $PHP_SELF;