private void testConnection() throws IOException {
// Test database connection.
URLConnection conn = makeTestConnection();
if (conn != null) {
conn.connect();
StringBuilder buf = readResponse(conn);
buf.insert(0, "Experiment confirmation: ");
LogContext.getLogger().fine(buf.toString());
}
}
/** Return next string in the sequence "a", "b", ... "z", "aa", "ab", ... */
static String getNextDirName(String old) {
StringBuilder sb = new StringBuilder(old);
// go through and increment the first non-'z' char
// counts back from the last char, so 'aa'->'ab', not 'ba'
for (int ii = sb.length() - 1; ii >= 0; ii--) {
char curChar = sb.charAt(ii);
if (curChar < 'z') {
sb.setCharAt(ii, (char) (curChar + 1));
return sb.toString();
}
sb.setCharAt(ii, 'a');
}
sb.insert(0, 'a');
return sb.toString();
}
private String formatDateW3c(final Date date) {
final String iso8601Date = ISO_8601_DATE.format(date);
final StringBuilder w3cDate = new StringBuilder(iso8601Date);
// Hmm..is it really not possible to create a w3c compliant date using java.util.Date...
return w3cDate.insert(w3cDate.length() - 2, ':').toString();
}