src/de/uka/ipd/idaho/goldenGateServer/ims/GoldenGateIMS.java
/**
	 * Delete a document from storage. If the document with the specified ID is
	 * checked out by a user other than the one doing the deletion, the document
	 * cannot be deleted and an IOException will be thrown.
	 * @param userName the user doing the deletion
	 * @param docId the ID of the document to delete
	 * @param logger a logger for obtaining detailed information on the deletion
	 *            process
	 * @throws IOException
	 */
Delete a document from storage. If the document with the specified ID is
checked out by a user other than the one doing the deletion, the document
cannot be deleted and an IOException will be thrown.
@param userName the user doing the deletion
@param docId the ID of the document to delete
@param logger a logger for obtaining detailed information on the deletion
process
@throws IOException
Delete a document from storage . If the document with the specified ID is checked out by a user other than the one doing the deletion the document cannot be deleted and an IOException will be thrown . @param userName the user doing the deletion @param docId the ID of the document to delete @param logger a logger for obtaining detailed information on the deletion process @throws IOException
public void deleteDocument(String userName, String docId, final EventLogger logger) throws IOException {
		if (this.doDeleteDocument(userName, docId, logger))
			GoldenGateServerEventService.notify(new ImsDocumentEvent(userName, docId, GoldenGateIMS.class.getName(), System.currentTimeMillis(), logger) {
				public void notificationComplete() {
					if (logger instanceof DocumentUpdateProtocol)
						((DocumentUpdateProtocol) logger).close();
				}
			});
	}
public void deleteDocument ( String userName , String docId , final EventLogger logger ) throws IOException { if ( this . doDeleteDocument ( userName , docId , logger ) ) GoldenGateServerEventService . notify ( new ImsDocumentEvent ( userName , docId , GoldenGateIMS . class . getName ( ) , System . currentTimeMillis ( ) , logger ) { public void notificationComplete ( ) { if ( logger instanceof DocumentUpdateProtocol ) ( ( DocumentUpdateProtocol ) logger ) . close ( ) ; } } ) ; }
Delete a document from storage.
Delete a document from storage .