equal
deleted
inserted
replaced
65 rnd = new Random(); |
65 rnd = new Random(); |
66 } |
66 } |
67 } |
67 } |
68 |
68 |
69 private class Initializer |
69 private class Initializer |
70 implements PrivilegedExceptionAction |
70 implements PrivilegedExceptionAction<Void> |
71 { |
71 { |
72 |
72 |
73 private final SelectorProvider sp; |
73 private final SelectorProvider sp; |
74 |
74 |
75 private Initializer(SelectorProvider sp) { |
75 private Initializer(SelectorProvider sp) { |
76 this.sp = sp; |
76 this.sp = sp; |
77 } |
77 } |
78 |
78 |
79 public Object run() throws IOException { |
79 public Void run() throws IOException { |
80 ServerSocketChannel ssc = null; |
80 ServerSocketChannel ssc = null; |
81 SocketChannel sc1 = null; |
81 SocketChannel sc1 = null; |
82 SocketChannel sc2 = null; |
82 SocketChannel sc2 = null; |
83 |
83 |
84 try { |
84 try { |