Remove ProdServerPort

Summary: There's a comment saying it must be set to the same port
as the main server; so just use the main server port instead.

Reviewed By: @afrind

Differential Revision: D1739002

Signature: t1:1739002:1418676596:b29ae95848bb4bf84aa5d16be6fda8ad4a69e236