public Integer getPid() {
      return pid;
    }
Gets the process ID (PID) of the running Server indicated by the user as an argument to the
ServerLauncher. This PID is used by the Server launcher to determine the Server's status, or
invoke shutdown on the Server.

@return a user specified Integer value indicating the process ID of the running Server.
@see #setPid(Integer)
geode-core/src/main/java/org/apache/geode/distributed/ServerLauncher.java