/** * Close the active pixel buffer, cleaning up any potential messes left by * the pixel buffer itself. */ private synchronized void closePixelBuffer() { try { if (buffer != null) { buffer.close(); } } catch (IOException e) { if (log.isDebugEnabled()) { log.debug("Buffer could not be closed successfully.", e); } throw new ResourceError(e.getMessage() + " Please check server log."); } }
/** * Closes the buffer, cleaning up file state. * * @throws IOException if an I/O error occurs. */ public void close() { try { if (buffer != null) buffer.close(); } catch (IOException e) { log.error("Buffer did not close successfully.", e); throw new ResourceError( e.getMessage() + " Please check server log."); } }
pixels.close();
buffer.close();
source.close();
} finally { try { buf.close(); } catch (IOException e) { log.error("Error closing " + buf, e);
pixelBuffer.close();
pixels.close();