if (files[i].indexOf('.') != -1) files[i] = files[i].substring(0, files[i].indexOf('.'));
int n = Integer.parseInt(files[i]);
if (n>=uidNext) uidNext = n;
- } catch(Exception e) { /* DELIBERATE */ }
+ } catch(Exception e) { Log.error(this, e); }
}
}
+ public String[] sort(String[] s) {
+ Arrays.sort(s);
+ return s;
+ }
+
+ public String[] files() {
+ String[] s = path.list(filter);
+ Arrays.sort(s, comparator);
+ return s;
+ }
+
+ private static Comparator<String> comparator = new Comparator<String>() {
+ public int compare(String a, String b) {
+ if (a.indexOf('.')==-1) return a.compareTo(b);
+ if (b.indexOf('.')==-1) return a.compareTo(a);
+ int ai = Integer.parseInt(a.substring(0, a.indexOf('.')));
+ int bi = Integer.parseInt(b.substring(0, b.indexOf('.')));
+ return ai<bi ? -1 : ai>bi ? 1 : 0;
+ }
+ };
public Mailbox.Iterator iterator() { return new Iterator(); }
public synchronized void add(Message message) { add(message, Mailbox.Flag.RECENT); }
public String[] children() {
Vec vec = new Vec();
- String[] list = path.list();
+ String[] list = sort(path.list());
for(int i=0; i<list.length; i++) {
File f = new File(path.getAbsolutePath() + slash + list[i]);
if (f.isDirectory() && f.getName().charAt(0) != '.') vec.addElement(list[i]);
Log.info(this, path + " <= " + message.summary());
}
+ private static FilenameFilter filter =
+ new FilenameFilter() { public boolean accept(File dir, String name) {
+ return name.endsWith(".");
+ } };
+
private class Iterator extends Mailbox.Default.Iterator {
int cur = -1;
- String[] files = path.list(new FilenameFilter() { public boolean accept(File dir, String name) {
- return name.endsWith(".");
- } });
+ String[] files = files();
private File file() { return new File(path.getAbsolutePath() + slash + files[cur]); }
public boolean done() { return cur >= files.length; }
public boolean next() { cur++; return !done(); }