From: Luca Padovani Date: Thu, 27 May 2004 11:08:21 +0000 (+0000) Subject: * setpassword passwords swapped X-Git-Tag: pre_subst_in_kernel~69 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c1286710e47652a4e070bcfc6b39b7303f069f9;p=helm.git * setpassword passwords swapped --- diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml index 891f08d98..abb3644f0 100644 --- a/helm/uwobo/uwobo.ml +++ b/helm/uwobo/uwobo.ml @@ -392,8 +392,8 @@ let callback | "/setpassword" -> let cmd = sprintf "setpassword %s,%s,%s" (req#param "id") - (string_of_param_option req "password") (string_of_param_option req "oldpassword") + (string_of_param_option req "password") in short_circuit_grandfather_and_client ~cmd ~cmd_pipe ~res_pipe outchan | "/setpermission" ->