futur.blue
objective categorical abstract machine language personal data server
Correctly construct aud for scope verification
(different from aud for jwt)
+4
-3
pegasus/lib/xrpc.ml
+4
-3
pegasus/lib/xrpc.ml
···
209
209
| None ->
210
210
Errors.invalid_request "invalid proxy header"
211
211
in
212
-
let aud = Option.value aud ~default:(service_did ^ "#" ^ service_type) in
212
+
let fragment = "#" ^ service_type in
213
+
let aud = Option.value aud ~default:service_did in
213
214
let lxm = Option.value lxm ~default:nsid in
214
-
Auth.assert_rpc_scope ctx.auth ~aud ~lxm ;
215
-
let fragment = "#" ^ service_type in
215
+
let rpc_aud = aud ^ fragment in
216
+
Auth.assert_rpc_scope ctx.auth ~aud:rpc_aud ~lxm ;
216
217
match%lwt Id_resolver.Did.resolve service_did with
217
218
| Ok did_doc -> (
218
219
let scheme, host =