4440[31124] INFO Starting Minecraft process: ['/var/folders/d0/m67gt9fj4dg7ly6gxsdfw6n00000gn/T/tmpaa9v9vf4/Minecraft/launchClient.sh', '-port', '9001', '-env', '-runDir', '/var/folders/d0/m67gt9fj4dg7ly6gxsdfw6n00000gn/T/tmpaa9v9vf4/Minecraft/run']
env = gym.make(MINERL_GYM_ENV)
When I run upper code in python, the connection port is always 9001.
I want to change the port.
Is there any way to change the connection port?