/** Retourne true si le cache est actif */
protected boolean isAvailable() {
while (cacheLock) {
try {
Util.pause(100);
} catch (Exception e) {
}
}
return dir != null;
}
/** Met à jour le cache en fonction de la liste todo */
private void updateCache() {
aladin.trace(2, "Start cache updater...");
Vector v;
synchronized (this) {
v = (Vector) todo.clone();
todo.clear();
}
Enumeration e = v.elements();
while (e.hasMoreElements()) {
String url = (String) e.nextElement();
try {
putInCache(url);
} catch (Exception e1) {
}
Util.pause(1000); // Pose entre deux
}
fin();
}
