}
});
}
- else
- {
- System.err.println("Out of memory loading file " + file + "!!");
- }
+ System.err.println("Out of memory loading file " + file + "!!");
+
}
loadtime += System.currentTimeMillis();
-
+ // TODO: Estimate percentage of memory used by a newly loaded alignment - warn if more memory will be needed to work with it
// System.gc();
memused = memused - (rt.maxMemory() - rt.totalMemory() + rt.freeMemory()); // difference in free memory after load
if (Desktop.desktop != null && Desktop.desktop.isShowMemoryUsage())