equal
deleted
inserted
replaced
118 } |
118 } |
119 |
119 |
120 } |
120 } |
121 |
121 |
122 |
122 |
123 static private void waitForDump() { |
123 private static void waitForDump() { |
124 synchronized(go) { |
124 synchronized(go) { |
125 try { |
125 try { |
126 go.wait(); |
126 go.wait(); |
127 } catch (Exception e) { |
127 } catch (Exception e) { |
128 throw new RuntimeException("Unexpected exception" + e); |
128 throw new RuntimeException("Unexpected exception" + e); |
129 } |
129 } |
130 } |
130 } |
131 } |
131 } |
132 |
132 |
133 static private void finishDump() { |
133 private static void finishDump() { |
134 synchronized(go) { |
134 synchronized(go) { |
135 try { |
135 try { |
136 go.notifyAll(); |
136 go.notifyAll(); |
137 } catch (Exception e) { |
137 } catch (Exception e) { |
138 throw new RuntimeException("Unexpected exception" + e); |
138 throw new RuntimeException("Unexpected exception" + e); |