We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a342910 commit d15801dCopy full SHA for d15801d
src/os_connect_server.eliom
@@ -118,8 +118,7 @@ module MakeIDToken (Scope : Os_oauth2_server.SCOPE)
118
id_token : Jwt.t ;
119
scope : scope list ;
120
counter : int ref ;
121
- secret_key : string (* Needed to be able to check if the client sent the
122
- right id_token. This is the key used by HS256 to sign the token. *)
+ secret_key : string
123
}
124
125
let id_client_of_saved_token s = s.id_client
@@ -251,9 +250,6 @@ module MakeIDToken (Scope : Os_oauth2_server.SCOPE)
251
250
(* What about a refresh_token ? *)
252
(* ("refresh_token", `String refresh_token) ;*)
253
]
254
-
255
- (** ---------- Function about token ---------- *)
256
- (** ------------------------------------------ *)
257
end
258
259
module Basic_scope : Os_oauth2_server.SCOPE =
0 commit comments