index 8fff6e4a1e1660ad9db75d79bdf03601a8060f36..6f79711c70240a3501faa10284d0fbe89a4a2c3f 100644 (file)
DriverManager.println("Large Object initialised");
}
- /*
- * Added to free resources during garbage collection,
- * Philip Crotwell <crotwell@seis.sc.edu>
- */
- protected void finalize() {
- close();
- }
-
/**
* This opens an existing large object, based on its OID. This method
* assumes that READ and WRITE access is required (the default).