ehatcher    2003/12/28 09:02:25

  Modified:    src/demo/org/apache/lucene/demo IndexHTML.java
  Log:
  removing Lucene's Arrays class - it is unnecessary
  
  Revision  Changes    Path
  1.2       +9 -8      jakarta-lucene/src/demo/org/apache/lucene/demo/IndexHTML.java
  
  Index: IndexHTML.java
  ===================================================================
  RCS file: /home/cvs/jakarta-lucene/src/demo/org/apache/lucene/demo/IndexHTML.java,v
  retrieving revision 1.1
  retrieving revision 1.2
  diff -u -r1.1 -r1.2
  --- IndexHTML.java    26 Jan 2002 15:01:31 -0000      1.1
  +++ IndexHTML.java    28 Dec 2003 17:02:25 -0000      1.2
  @@ -55,13 +55,14 @@
    */
   
   import org.apache.lucene.analysis.standard.StandardAnalyzer;
  -import org.apache.lucene.index.*;
   import org.apache.lucene.document.Document;
  -import org.apache.lucene.util.Arrays;
  -import org.apache.lucene.demo.html.HTMLParser;
  -
  +import org.apache.lucene.index.IndexReader;
  +import org.apache.lucene.index.IndexWriter;
  +import org.apache.lucene.index.Term;
  +import org.apache.lucene.index.TermEnum;
   import java.io.File;
   import java.util.Date;
  +import java.util.Arrays;
   
   class IndexHTML {
     private static boolean deleting = false;     // true during deletion pass
  @@ -74,7 +75,7 @@
         String index = "index";
         boolean create = false;
         File root = null;
  -      
  +
         String usage = "IndexHTML [-create] [-index <index>] <root_directory>";
   
         if (argv.length == 0) {
  @@ -130,10 +131,10 @@
     private static void indexDocs(File file, String index, boolean create)
          throws Exception {
       if (!create) {                             // incrementally update
  -      
  +
         reader = IndexReader.open(index);                // open existing index
         uidIter = reader.terms(new Term("uid", "")); // init uid iterator
  -    
  +
         indexDocs(file);
   
         if (deleting) {                                  // delete rest of stale docs
  @@ -163,7 +164,7 @@
       } else if (file.getPath().endsWith(".html") || // index .html files
               file.getPath().endsWith(".htm") || // index .htm files
               file.getPath().endsWith(".txt")) { // index .txt files
  -      
  +
         if (uidIter != null) {
        String uid = HTMLDocument.uid(file);      // construct uid for doc
   
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to