The javadoc for `WebServer.getPort()` states that it returns "the port (or -1 if none)". The implementations appear to return `0`.