return;
} else {
toRevision = mk.getHeadRevision();
}
String journal = mk.getJournal(readRevision, toRevision, null);
JsopTokenizer t = new JsopTokenizer(journal);
String lastRevision = readRevision;
t.read('[');
if (t.matches(']')) {
readRevision = toRevision;
// nothing to update
return;
}
HashMap<String, String> map = new HashMap<String, String>();
do {
map.clear();
t.read('{');
do {
String key = t.readString();
t.read(':');
t.read();
String value = t.getToken();
map.put(key, value);
} while (t.matches(','));
String rev = map.get("id");
if (!rev.equals(readRevision)) {
String jsop = map.get("changes");
JsopTokenizer tokenizer = new JsopTokenizer(jsop);
updateIndex("", tokenizer, lastRevision);
}
lastRevision = rev;
t.read('}');
} while (t.matches(','));