}
final TmfContext context = new TmfContext(getCurrentLocation(), rank);
return context;
- } else {
-
}
} catch (final IOException e) {
e.printStackTrace();
}
@Override
- public void setNbEvents(final long nbEvents) {
+ public synchronized void setNbEvents(final long nbEvents) {
super.setNbEvents(nbEvents);
}
}
@Override
- public void dispose() {
+ public synchronized void dispose() {
fLock.lock();
try {
if (fTrace != null) {
return fileExists(path);
}
-}
\ No newline at end of file
+}