jdk/src/windows/classes/sun/nio/ch/WindowsSelectorImpl.java
changeset 11823 ee83ae88512d
parent 7668 d4a77089c587
child 14342 8435a30053c1
equal deleted inserted replaced
11689:ffbfda5c3886 11823:ee83ae88512d
   583         SelectableChannel selch = ski.channel();
   583         SelectableChannel selch = ski.channel();
   584         if (!selch.isOpen() && !selch.isRegistered())
   584         if (!selch.isOpen() && !selch.isRegistered())
   585             ((SelChImpl)selch).kill();
   585             ((SelChImpl)selch).kill();
   586     }
   586     }
   587 
   587 
   588     void putEventOps(SelectionKeyImpl sk, int ops) {
   588     public void putEventOps(SelectionKeyImpl sk, int ops) {
   589         synchronized (closeLock) {
   589         synchronized (closeLock) {
   590             if (pollWrapper == null)
   590             if (pollWrapper == null)
   591                 throw new ClosedSelectorException();
   591                 throw new ClosedSelectorException();
   592             pollWrapper.putEventOps(sk.getIndex(), ops);
   592             pollWrapper.putEventOps(sk.getIndex(), ops);
   593         }
   593         }