From: Jérémie D. <Ba...@us...> - 2010-03-05 19:04:07
|
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 ed8ac2f3d06d5a45df789be0c871e252a08ff60c (commit) from f3121e926476263b9b9a082afdfbbd93643149de (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 ed8ac2f3d06d5a45df789be0c871e252a08ff60c Author: Jérémie Dimino <je...@di...> Date: Fri Mar 5 20:03:28 2010 +0100 [generators] add missing "Unsafe" in interface names ----------------------------------------------------------------------- Changes: diff --git a/PC_Mainboard/generators/gen_dbus_imports.ml b/PC_Mainboard/generators/gen_dbus_imports.ml index d4d5f1d..2f62ba9 100644 --- a/PC_Mainboard/generators/gen_dbus_imports.ml +++ b/PC_Mainboard/generators/gen_dbus_imports.ml @@ -55,7 +55,7 @@ let rec print indent = function printf "%s let cast krobot = OBus_proxy.make (Krobot.peer krobot) [\"fr\"; \"krobot\"; \"Devices\"; \"%s\"]\n" indent (Name.caml_case name); printf "%s let make _ = failwith \"not implemented\"\n" indent; printf "%s end)\n" indent; - printf "%s OP_interface(Proxy) \"fr.krobot.Device.%s\"\n" indent (Name.caml_case name); + printf "%s OP_interface(Proxy) \"fr.krobot.Device.%s.Unsafe\"\n" indent (Name.caml_case name); List.iter (print (indent ^ " ")) items; printf "%send\n" indent hooks/post-receive -- krobot |