From 5e0650c1cce9931db53d97dd6391e475f658a5b3 Mon Sep 17 00:00:00 2001 From: swrup Date: Sat, 18 Oct 2025 18:19:09 +0200 Subject: [PATCH] --- src/management.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/management.ml b/src/management.ml index 2f34a260..755dd0f1 100644 --- a/src/management.ml +++ b/src/management.ml @@ -64,7 +64,7 @@ let mk_future_denom denom_key_signf denom_secmod_sig; } -let mk_future_sign_key signkey_signf +let mk_future_signkey signkey_signf ({ pub; sign= _; stamp_start; stamp_expire; stamp_end } : Secmod_keys.t) = let signkey_secmod_sig = let open Binary_formats in @@ -92,9 +92,13 @@ let mk_future_sign_key signkey_signf signkey_secmod_sig; } -let keys req _server _env = +let keys req server _env = let open Vif.Response in let open Syntax in + let _signkey = Vif.Server.device Devices.signkey server in + let _exchange_key = Vif.Server.device Devices.exchange_key server in + let _denom_key = Vif.Server.device Devices.denom_key server in + let _denominations = Vif.Server.device Devices.denominations server in let* () = with_string req "keys .. \n" in let* () = add ~field:"content-type" "application/json" in respond `OK