public void close()

in nailgun-server/src/main/java/com/facebook/nailgun/NGWin32NamedPipeServerSocket.java [170:186]


  public void close() throws IOException {
    try {
      List<HANDLE> handlesToClose = new ArrayList<>();
      openHandles.drainTo(handlesToClose);
      for (HANDLE handle : handlesToClose) {
        closeOpenPipe(handle);
      }

      List<HANDLE> handlesToDisconnect = new ArrayList<>();
      connectedHandles.drainTo(handlesToDisconnect);
      for (HANDLE handle : handlesToDisconnect) {
        closeConnectedPipe(handle, true);
      }
    } finally {
      API.CloseHandle(lockHandle);
    }
  }