Method deregister

api/src/main/java/io/grpc/ServerRegistry.java:72–75

Deregisters a provider. No-op if the provider is not in the registry. @param provider the provider that was added to the register via #register.

(ServerProvider provider)

   * @param provider the provider that was added to the register via {@link #register}.
   */
  public synchronized void deregister(ServerProvider provider) {
    allProviders.remove(provider);
    refreshProviders();
  }

  private synchronized void refreshProviders() {
    List<ServerProvider> providers = new ArrayList<>(allProviders);