]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo.ml
* setpassword passwords swapped
[helm.git] / helm / uwobo / uwobo.ml
index 891f08d9808fbc02039c90fc07cfc4609372e91b..abb3644f080c6a29c96d477d081bbbc9d91303ad 100644 (file)
@@ -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" ->