equal
deleted
inserted
replaced
113 c = completed; |
113 c = completed; |
114 } |
114 } |
115 finally { |
115 finally { |
116 lock.unlock(); |
116 lock.unlock(); |
117 } |
117 } |
118 if (completed != 2) |
118 if (c != 2) |
119 throw new Error("Completed != 2"); |
119 throw new Error("Completed != 2"); |
120 int r = result; |
120 int r = result; |
121 if (r == 0) // avoid overoptimization |
121 if (r == 0) // avoid overoptimization |
122 System.out.println("useless result: " + r); |
122 System.out.println("useless result: " + r); |
123 } |
123 } |