* Simplified addRepository() a bit, no need to track updated resources here.

This commit is contained in:
hns 2006-10-16 13:56:58 +00:00
parent bfc5b513b6
commit 0470c24db3

View file

@ -123,9 +123,8 @@ public final class Prototype {
if (update) { if (update) {
RequestEvaluator eval = app.getCurrentRequestEvaluator(); RequestEvaluator eval = app.getCurrentRequestEvaluator();
Iterator it = repository.getAllResources().iterator(); Iterator it = repository.getAllResources().iterator();
boolean updatedResources = false;
while (it.hasNext()) { while (it.hasNext()) {
updatedResources |= checkResource((Resource) it.next(), eval.scriptingEngine); checkResource((Resource) it.next(), eval.scriptingEngine);
} }
} }
} }