@Deprecated
public static interface ZAgent.SelectorCreator
| Modifier and Type | Method and Description |
|---|---|
java.nio.channels.Selector |
create()
Deprecated.
Creates and opens a selector.
|
void |
destroy(java.nio.channels.Selector selector)
Deprecated.
Destroys the previously opened selector.
|
java.nio.channels.Selector create()
throws java.io.IOException
java.io.IOExceptionvoid destroy(java.nio.channels.Selector selector)
throws java.io.IOException
selector - the selector to closejava.io.IOException