NumberFormat nf = NumberFormat.getIntegerInstance();
nf.setMinimumIntegerDigits(3);
Statement s = schemaInfo.getDB().getStatement();
while(runFile(schemaInfo.getDB(), s, "/db/" + nf.format(version) + ".sql")) {
record.setInteger("version", version);
schemaInfo.updateMap("schema_info", "version", Integer.toString(last_version), record.getBacking());
last_version = version;
version++;
}
}
}