public class PersistentConfigurationHandler
extends java.lang.Object
Constructor and Description |
---|
PersistentConfigurationHandler() |
Modifier and Type | Method and Description |
---|---|
static void |
copy(java.io.InputStream in,
java.io.OutputStream out) |
static void |
copyDirTree(java.lang.String fromDirName,
java.lang.String toDirName)
Copy an entire directory tree.
|
static void |
copyFile(java.lang.String fileInName,
java.lang.String fileOutName)
copy one file to another.
|
static void |
installDefaultConfiguration(javax.servlet.http.HttpServlet servlet,
java.lang.String semaphore)
If the following are true:
- The local configuration directory exists.
|
public static void installDefaultConfiguration(javax.servlet.http.HttpServlet servlet, java.lang.String semaphore)
servlet
- public static void copyDirTree(java.lang.String fromDirName, java.lang.String toDirName) throws java.io.IOException
fromDirName
- from this directory (do nothing if not exist)toDirName
- to this directory (will create if not exist)java.io.IOException
- on io errorpublic static void copyFile(java.lang.String fileInName, java.lang.String fileOutName) throws java.io.IOException
fileInName
- copy from this file, which must exist.fileOutName
- copy to this file, which is overrwritten if already exists.java.io.IOException
- on io errorpublic static void copy(java.io.InputStream in, java.io.OutputStream out) throws java.io.IOException
java.io.IOException