equal
deleted
inserted
replaced
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 } |