A Gurobi token server uses a raw socket connection, and the lifetime of a token is tied to that connection. The token server is graceful; a closed connection will immediately free the token, even if the client side is still up and running.
How does a client communicate with the token server?
