equal
deleted
inserted
replaced
105 barrier.await(); |
105 barrier.await(); |
106 } |
106 } |
107 } catch (BrokenBarrierException e) { |
107 } catch (BrokenBarrierException e) { |
108 // Another thread has been interrupted - wait for us to be interrupted as well |
108 // Another thread has been interrupted - wait for us to be interrupted as well |
109 while (!interrupted()) { |
109 while (!interrupted()) { |
110 yield(); |
110 Thread.yield(); |
111 } |
111 } |
112 } catch (InterruptedException e) { |
112 } catch (InterruptedException e) { |
113 // Normal way of stopping the thread |
113 // Normal way of stopping the thread |
114 } |
114 } |
115 } |
115 } |