From: Jérémie D. <Ba...@us...> - 2010-04-23 08:59:55
|
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 4e1406903f99434b59ebcadf6236dc6d65f0932c (commit) from 8b3e9b66e2076f44754a5283696bc17f3288f6d1 (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 4e1406903f99434b59ebcadf6236dc6d65f0932c Author: Jérémie Dimino <dim@gaia.(none)> Date: Fri Apr 23 10:59:02 2010 +0200 use only lowercase letters in script paths ----------------------------------------------------------------------- Changes: diff --git a/info/control/clients/script.ml b/info/control/clients/script.ml index dba63be..4649704 100644 --- a/info/control/clients/script.ml +++ b/info/control/clients/script.ml @@ -569,7 +569,7 @@ let make_command cmd = { (Value.arg_names cmd.Commands.send) (Value.C.type_sequence (Value.arg_types cmd.Commands.send)); c_name = cmd.Commands.name; - c_path = ["unsafe"; cmd.Commands.section]; + c_path = ["unsafe"; String.lowercase cmd.Commands.section]; c_exec = fun args logger krobot -> let args = hooks/post-receive -- krobot |