Author: j16sdiz
Date: 2009-01-02 07:39:41 +0000 (Fri, 02 Jan 2009)
New Revision: 24876

Modified:
   trunk/plugins/XMLSpider/IndexWriter.java
Log:
debug info in .xml file if debug log enabled

Modified: trunk/plugins/XMLSpider/IndexWriter.java
===================================================================
--- trunk/plugins/XMLSpider/IndexWriter.java    2009-01-02 07:34:53 UTC (rev 
24875)
+++ trunk/plugins/XMLSpider/IndexWriter.java    2009-01-02 07:39:41 UTC (rev 
24876)
@@ -9,6 +9,7 @@
 import java.io.FileOutputStream;
 import java.io.IOException;
 import java.security.NoSuchAlgorithmException;
+import java.util.Date;
 import java.util.List;
 import java.util.Set;
 import java.util.Vector;
@@ -331,7 +332,9 @@
                        /* Starting to generate index */
                        xmlDoc = impl.createDocument(null, "sub_index", null);
                        rootElement = xmlDoc.getDocumentElement();
-
+                       if (logMINOR)
+                               
rootElement.appendChild(xmlDoc.createComment(new Date().toGMTString()));
+                       
                        /* Adding header to the index */
                        Element headerElement = xmlDoc.createElement("header");
                        /* -> title */
@@ -392,6 +395,8 @@
                                                }
                                        }
                                }
+                               if (logMINOR)
+                                       
keywordsElement.appendChild(xmlDoc.createComment(term.getMD5()));
                                keywordsElement.appendChild(wordElement);
                        }
                        rootElement.appendChild(EntriesElement);
@@ -469,6 +474,9 @@
                        xmlDoc = impl.createDocument(null, "sub_index", null);
                        rootElement = xmlDoc.getDocumentElement();
 
+                       if (logMINOR)
+                               
rootElement.appendChild(xmlDoc.createComment(new Date().toGMTString()));
+
                        /* Adding header to the index */
                        Element headerElement = xmlDoc.createElement("header");
 

_______________________________________________
cvs mailing list
[email protected]
http://emu.freenetproject.org/cgi-bin/mailman/listinfo/cvs

Reply via email to