public void loadSystemCatalogs ( ) throws MalformedURLException , IOException { Vector catalogs = catalogManager . getCatalogFiles ( ) ; if ( catalogs != null ) { for ( int count = 0 ; count < catalogs . size ( ) ; count ++ ) { catalogFiles . addElement ( catalogs . elementAt ( count ) ) ; } } if ( catalogFiles . size ( ) > 0 ) { // This is a little odd. The parseCatalog() method expects // a filename, but it adds that name to the end of the // catalogFiles vector, and then processes that vector. // This allows the system to handle CATALOG entries // correctly. // // In this init case, we take the last element off the // catalogFiles vector and pass it to parseCatalog. This // will "do the right thing" in the init case, and allow // parseCatalog() to do the right thing in the non-init // case. Honest. // String catfile = ( String ) catalogFiles . lastElement ( ) ; catalogFiles . removeElement ( catfile ) ; parseCatalog ( catfile ) ; } }
Load the system catalog files .