/** * Close the active file buffer, cleaning up any potential messes left by * the file buffer itself. */ private void closeFileBuffer() { 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."); } }
buffer.close(); } else if (!checked.markModified()) { throw new RepositoryException(null, null, "cannot touch file: " + checked);