R/ArmadilloOAuth.R
armadillo.get_token.Rd
Get an ID token to log in on an Armadillo server
armadillo.get_token(server)
the URL of the Armadillo server
The ID token string