boolean isServerPortSetByUser() {
      return serverPortSetByUser;
    }
Gets the port on which the Server will listen for and accept cache client connections in a
client/server topology.

@return an Integer value specifying the port the Server will listen on and accept cache
        client connections in a client/server topology.
@see #setServerPort(Integer)
geode-core/src/main/java/org/apache/geode/distributed/ServerLauncher.java