File tree Expand file tree Collapse file tree 2 files changed +237
-256
lines changed Expand file tree Collapse file tree 2 files changed +237
-256
lines changed Original file line number Diff line number Diff 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
259255module  Basic_scope  : Os_oauth2_server .SCOPE  = 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments