8687888990919293949596
} else { u = new URL(url); } host = u.getHost(); } catch (MalformedURLException e) { throw new IndexingException(e); } if (host != null) { // add host as un-stored, indexed and tokenized doc.add("host", host);
294295296297298299300301302
private static Region[] indexFile(String path) throws IndexingException { Indexer indexer = IndexingProvider.getIndexer(path); Region[] regions = indexer.index(path); if (regions == null) throw new IndexingException(); else return regions; }
408409410411412413414415416417418
statement.setString(1, path); statement.setDate(2, date); statement.executeUpdate(); regions = indexFile(path); if (regions == null) throw new IndexingException(); file.setRegions(regions); return file; } finally {