But wouldn't the port passed to the server start process be 7007 (production port)?