Closed samuelmyoussef closed 1 year ago
Fixes #17 by preventing the creation of a second server thread in start_server during the env initialization if port_rpc is already assigned.
start_server
initialization
port_rpc
Fixes #17 by preventing the creation of a second server thread in
start_serverduring the envinitializationifport_rpcis already assigned.