| changeset 59226 | a0f39cc47387 |
| parent 58863 | c16ac7a2eba4 |
| 59225:80e1201f6c9a | 59226:a0f39cc47387 |
|---|---|
225 synchronized (waitObject) { |
225 synchronized (waitObject) { |
226 this.closed = true; |
226 this.closed = true; |
227 waitObject.notify(); |
227 waitObject.notify(); |
228 } |
228 } |
229 } |
229 } |
230 |
|
231 public boolean hasFixedPath() { |
|
232 return repository != null; |
|
233 } |
|
230 } |
234 } |