branch | JEP-349-branch |
changeset 58577 | 7e0f81f63890 |
parent 58569 | 5469bde803fe |
child 58841 | 12b4063e357f |
58576:96c769cba8a3 | 58577:7e0f81f63890 |
---|---|
23 } |
23 } |
24 public void kill() { |
24 public void kill() { |
25 synchronized (lock) { |
25 synchronized (lock) { |
26 this.killed = true; |
26 this.killed = true; |
27 lock.notifyAll(); |
27 lock.notifyAll(); |
28 try { |
28 } |
29 join(); |
29 try { |
30 } catch (InterruptedException e) { |
30 join(); |
31 } |
31 } catch (InterruptedException e) { |
32 } |
32 } |
33 } |
33 } |
34 } |
34 } |