399576 Server dumpStdErr throws exception if server is stopping

2013-01-31 15:45:57 +11:00 · 2013-01-31 15:45:57 +11:00 · 495230579c
parent 9194fe1b7b
commit 495230579c
1 changed files with 1 additions and 1 deletions
--- a/jetty-io/src/main/java/org/eclipse/jetty/io/SelectorManager.java
+++ b/jetty-io/src/main/java/org/eclipse/jetty/io/SelectorManager.java
@ -598,7 +598,7 @@ public abstract class SelectorManager extends AbstractLifeCycle implements Dumpa
            }

            Selector selector = _selector;
-            if (selector != null)
+            if (selector != null && selector.isOpen())
            {
                final ArrayList<Object> dump = new ArrayList<>(selector.keys().size() * 2);
                dump.add(where);