9293949596979899100101102
col = DatabaseManager.getCollection( colstring ); DatabaseInstanceManager man = (DatabaseInstanceManager)col.getService("DatabaseInstanceManager",XMLDBAPIVERSION); // Shutdown the server man.shutdown(); } finally { if ( col != null ) { col.close(); }
col = DatabaseManager.getCollection(colstring); DatabaseInstanceManager man = (DatabaseInstanceManager) col.getService("DatabaseInstanceManager", XMLDBAPIVERSION); // Shutdown the server man.shutdown(); } finally { if (col != null) { col.close(); }
6162636465666768697071
if (col != null) { DatabaseInstanceManager man = (DatabaseInstanceManager) col.getService("DatabaseInstanceManager", XMLDBAPIVERSION); // Shutdown the server man.shutdown(); } } finally { if (col != null) { col.close(); }
5455565758596061626364
5051525354555657585960
col = DatabaseManager.getCollection(colstring); DatabaseInstanceManager man = (DatabaseInstanceManager) col.getService("DatabaseInstanceManager", XMLDBAPIVERSION); // Shutdown the server man.shutdown(); } finally { if (col != null) { col.close(); } }