equal
deleted
inserted
replaced
60 |
60 |
61 synchronized void cancel() { |
61 synchronized void cancel() { |
62 cancelled = true; |
62 cancelled = true; |
63 |
63 |
64 // Unblock reader of pending request |
64 // Unblock reader of pending request |
65 // Should only ever have atmost one waiter |
65 // Should only ever have at most one waiter |
66 notify(); |
66 notify(); |
67 } |
67 } |
68 |
68 |
69 synchronized boolean addReplyBer(BerDecoder ber) { |
69 synchronized boolean addReplyBer(BerDecoder ber) { |
70 if (cancelled) { |
70 if (cancelled) { |