]> matita.cs.unibo.it Git - helm.git/commitdiff
* setpassword passwords swapped
authorLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 11:08:21 +0000 (11:08 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 11:08:21 +0000 (11:08 +0000)
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" ->