The port on which Devpi Server will listen.
16 bit unsigned integer; between 0 and 65535 (both inclusive)
3141