103104105106107108109110111112113
} else if (lower.startsWith("from: ")) { from = line.substring("from: ".length()); } else if (lower.startsWith("date: ")) { date = line.substring("from: ".length()); } } while (line.length() > 0); int index = messages.get(subject);
13371338133913401341134213431344134513461347
return addr.getHostName(); } int p = host.indexOf(':'); if (p >= 0) return host.substring(0, p); else return host.toString(); } @Override
212213214215216217218219220221222
if (lineMap != null) { p = file.indexOf(':'); if (p > 0) { try { String filename = file.substring(0, p); int lineNo = Integer.parseInt(file.substring(p + 1)); line = lineMap.convertLine(filename, lineNo); } catch (Exception e) { } }
213214215216217218219220221222223
if (lineMap != null) { p = file.indexOf(':'); if (p > 0) { try { String filename = file.substring(0, p); int lineNo = Integer.parseInt(file.substring(p + 1)); line = lineMap.convertLine(filename, lineNo); } catch (Exception e) { } } else
244245246247248249250251252253254
while (t.startsWith("../")) t.delete(0,3); int ai = t.indexOf('#'); if (ai > -1) { path = t.substring(0,ai); anchor = t.substring(ai + 1); } else { path = t.toString(); } t.clear();
245246247248249250251252253254255
t.delete(0,3); int ai = t.indexOf('#'); if (ai > -1) { path = t.substring(0,ai); anchor = t.substring(ai + 1); } else { path = t.toString(); } t.clear(); if (log.isLoggable(Level.FINEST)) {