[Krobot-commits] [SCM] krobot branch, master, updated. 2361d9833025e9db4b753ac074170f70d01292aa

[Jérémie D. <Ba...@us...>]

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  2361d9833025e9db4b753ac074170f70d01292aa (commit)
      from  a5872083e780a6cfd0a3da9600488d4eb2943c36 (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 2361d9833025e9db4b753ac074170f70d01292aa
Author: Jérémie Dimino <je...@di...>
Date:   Sun Apr 25 23:48:50 2010 +0200

    fix handling of exceptions raised by shutdown

-----------------------------------------------------------------------

Changes:
diff --git a/info/control/driver/driver.ml b/info/control/driver/driver.ml
index 04ec0f2..d68935e 100644
--- a/info/control/driver/driver.ml
+++ b/info/control/driver/driver.ml
@@ -941,7 +941,7 @@ lwt () =
         ~o_args:OBus_value.C.seq0
         ()
     with
-      | OBus_bus.Service_unknown _  | OBus_error.No_reply _ ->
+      | OBus_error.DBus((OBus_bus.Service_unknown | OBus_error.No_reply), _, _) ->
           return ()
   in
 


hooks/post-receive
-- 
krobot