From 5ff19da8aa0ab3169ea9d1688ec8a4a55d02528a Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sun, 20 Mar 2011 18:37:05 +0100
Subject: [PATCH] add log in User::save_data() method

---
 web/Obj/brisk.phh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 87185da..a4b58db 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -951,6 +951,7 @@ class User {
       // log_only("PUT_VAR DI ".strlen(serialize($user)));
       if (shm_put_var($shm, $tok, $user) != FALSE) {
 	shm_detach($shm);
+	log_main("User[".$id."] saved.");
 	return (TRUE);
       }
       if (shm_remove($shm) === FALSE) {
-- 
2.17.1