| | |
| | | private static FileHandler FILE_HANDLER; |
| | | |
| | | /** |
| | | * Creates a new file handler for writing log messages to the file indicated |
| | | * by <code>file</code>. |
| | | * Creates a new file handler for writing log messages to the file indicated by <code>file</code>. |
| | | * |
| | | * @param file |
| | | * log file to which log messages will be written |
| | |
| | | } |
| | | |
| | | /** |
| | | * Creates a new file handler for writing log messages of a given package to |
| | | * the file indicated by <code>file</code>. |
| | | * Creates a new file handler for writing log messages of a given package to the file indicated by <code>file</code>. |
| | | * |
| | | * @param file |
| | | * log file to which log messages will be written. |
| | |
| | | return LOG_FILE != null; |
| | | } |
| | | |
| | | /** Closes the log file and deletes it. */ |
| | | public static void closeAndDeleteLogFile() |
| | | { |
| | | if (LOG_FILE != null) |
| | | { |
| | | FILE_HANDLER.close(); |
| | | LOG_FILE.delete(); |
| | | } |
| | | } |
| | | |
| | | private static String getInitialLogRecord() |
| | | { |
| | | // Note; currently the logs are not internationalized. |