mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
19.38.2009 abcb169a28a9c3dab2975fb3417327840163bf61
opends/src/guitools/org/opends/guitools/controlpanel/ui/BrowseEntriesPanel.java
@@ -532,7 +532,7 @@
      }
      catch (Throwable t)
      {
        if (!(t instanceof InterruptedNamingException))
        if (!isInterruptedException(t))
        {
          EntryReadErrorEvent ev = new EntryReadErrorEvent(this, dn, t);
          entryPane.entryReadError(ev);
@@ -1477,4 +1477,18 @@
      return menu;
    }
  }
  private boolean isInterruptedException(Throwable t)
  {
    boolean isInterruptedException = false;
    isInterruptedException = t instanceof java.io.InterruptedIOException ||
    t instanceof InterruptedNamingException;
    while ((t != null) && !isInterruptedException)
    {
      t = t.getCause();
      isInterruptedException = t instanceof java.io.InterruptedIOException ||
      t instanceof InterruptedNamingException;
    }
    return isInterruptedException;
  }
}