Project

General

Profile

« Previous | Next » 

Revision 2759

Added by sgarg over 18 years ago

Using xml_path_index instead of xml_index to find documents which havnt been indexed.

View differences:

MetaCatServlet.java
197 197
    {
198 198
        // Close all db connection
199 199
        System.out.println("Destroying MetacatServlet");
200
        timer.cancel();
200 201
        DBConnectionPool.release();
201
        timer.cancel();
202 202
    }
203 203

  
204 204
    /** Handle "GET" method requests from HTTP clients */

Also available in: Unified diff