/** * Close this OperationLog when operation is closed. The log file will be removed. */publicvoid close() {
if (isShortLogs) {
// In case of test, do just close the log files, do not remove them. logFile.close(isRemoveLogs);
testLogFile.close(isRemoveLogs);
} else {
logFile.close(true);
}
}