Get an ID token to log in on an Armadillo server

armadillo.get_token(server)

Arguments

server

the URL of the Armadillo server

Value

The ID token string