c35959e Ensure there are admin groups before adding them to the list of groups

1 file Authored by pingou 2 years ago, Committed by pingou 2 years ago,
    Ensure there are admin groups before adding them to the list of groups
    
    If in the config ADMIN_GROUP is defined as None, it was added to the
    list of groups to query the openid server for.
    Which resulted in a set containing a None element, which broke loging
    in.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+7 -4