Skip to content

Commit 8713013

Browse files
committed
Remove some comments and convention for module type indentation.
1 parent c8e745e commit 8713013

File tree

2 files changed

+237
-256
lines changed

2 files changed

+237
-256
lines changed

src/os_connect_server.eliom

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -118,8 +118,7 @@ module MakeIDToken (Scope : Os_oauth2_server.SCOPE)
118118
id_token : Jwt.t ;
119119
scope : scope list ;
120120
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. *)
121+
secret_key : string
123122
}
124123

125124
let id_client_of_saved_token s = s.id_client
@@ -251,9 +250,6 @@ module MakeIDToken (Scope : Os_oauth2_server.SCOPE)
251250
(* What about a refresh_token ? *)
252251
(* ("refresh_token", `String refresh_token) ;*)
253252
]
254-
255-
(** ---------- Function about token ---------- *)
256-
(** ------------------------------------------ *)
257253
end
258254

259255
module Basic_scope : Os_oauth2_server.SCOPE =

0 commit comments

Comments
 (0)