This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "krobot".
The branch, master has been updated
via 8da6a52789fe20e2768f07d5e0fa4e3ea623f90e (commit)
from 2e1b70ec4a201c20fe5cb1ee3aa0274c90f880be (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 8da6a52789fe20e2768f07d5e0fa4e3ea623f90e
Author: Jérémie Dimino <je...@di...>
Date: Wed Mar 30 23:35:00 2011 +0200
[krobot_viewer] add timestamps to logs
-----------------------------------------------------------------------
Changes:
diff --git a/info/control2011/src/tools/krobot_viewer.ml b/info/control2011/src/tools/krobot_viewer.ml
index 30dcaf2..ebb1969 100644
--- a/info/control2011/src/tools/krobot_viewer.ml
+++ b/info/control2011/src/tools/krobot_viewer.ml
@@ -535,6 +535,13 @@ end
+-----------------------------------------------------------------+ *)
lwt () =
+ Lwt_log.default :=
+ Lwt_log.channel
+ ~template:"$(date).$(milliseconds) $(name): $(section): $(message)"
+ ~close_mode:`Keep
+ ~channel:Lwt_io.stderr
+ ();
+
lwt bus = Krobot_bus.get () in
ignore (GMain.init ());
Lwt_glib.install ();
hooks/post-receive
--
krobot
|
