From: Jérémie D. <Ba...@us...> - 2010-02-11 22:58:39
|
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 9458f92e737affb51e39ca33520b196e7e54268b (commit) from cf6fd012353bccafa22317d7ee087475af2b1f82 (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 9458f92e737affb51e39ca33520b196e7e54268b Author: Jérémie Dimino <je...@di...> Date: Thu Feb 11 23:58:15 2010 +0100 [controller] print an error on unknown commands ----------------------------------------------------------------------- Changes: diff --git a/PC_Mainboard/clients/script.ml b/PC_Mainboard/clients/script.ml index 99810ee..5c91e14 100644 --- a/PC_Mainboard/clients/script.ml +++ b/PC_Mainboard/clients/script.ml @@ -141,6 +141,7 @@ let exec krobot line = | "sensor" -> `Sensor | _ -> failwith "Script.exec: invalid card") | _ -> + Log#error "unknown command %S" action; return () with exn -> Log#exn exn "command failed with"; hooks/post-receive -- krobot |