| java.util.logging.FileHandler org.archive.io.GenerationFileHandler
GenerationFileHandler | public class GenerationFileHandler extends FileHandler (Code) | | FileHandler with support for rotating the current file to
an archival name with a specified integer suffix, and
provision of a new replacement FileHandler with the current
filename.
author: gojomo |
Method Summary | |
public List | getFilenameSeries() | public GenerationFileHandler | rotate(String storeSuffix, String activeSuffix) Move the current file to a new filename with the storeSuffix in place
of the activeSuffix; continuing logging to a new file under the
original filename.
Parameters: storeSuffix - Suffix to put in place of activeSuffix Parameters: activeSuffix - Suffix to replace with storeSuffix . | public boolean | shouldManifest() |
getFilenameSeries | public List getFilenameSeries()(Code) | | Returns the filenameSeries. |
rotate | public GenerationFileHandler rotate(String storeSuffix, String activeSuffix) throws IOException(Code) | | Move the current file to a new filename with the storeSuffix in place
of the activeSuffix; continuing logging to a new file under the
original filename.
Parameters: storeSuffix - Suffix to put in place of activeSuffix Parameters: activeSuffix - Suffix to replace with storeSuffix . GenerationFileHandler instance. throws: IOException - |
shouldManifest | public boolean shouldManifest()(Code) | | True if should manifest. |
|
|