protected File getServerPidFile() {
    return new File(getWorkingDirectory(), ProcessType.SERVER.getPidFileName());
  }
Gets a File reference with the path to the PID file for the Server.

@return a File reference to the path of the Server's PID file.
geode-core/src/main/java/org/apache/geode/distributed/ServerLauncher.java