import mir.servlet.ServletModule;
import mir.servlet.ServletModuleExc;
import mir.servlet.ServletModuleFailure;
-import mir.util.FileFunctions;
+import mir.util.FileRoutines;
import mir.util.HTTPRequestParser;
import mir.util.StringRoutines;
import mir.util.URLBuilder;
* Allows one to do a basic edit of a file in a directory specified
* in the config file.
*
- * @author $Author: rhindes $
- * @version $Revision: 1.13.2.9 $ $Date: 2005/02/10 16:22:27 $
+ * @author $Author: zapata $
+ * @version $Revision: 1.13.2.10 $ $Date: 2005/08/21 17:09:24 $
*
*/
private class FileEditDirectory {
private String name;
- private FileFunctions.RegExpFileFilter filter;
+ private FileRoutines.RegExpFileFilter filter;
private File rootDirectory;
private boolean recursive;
public FileEditDirectory(String aName, String aRootDirectory, String aFilter, boolean aRecursive) {
name = aName;
rootDirectory = new File(aRootDirectory);
- filter = new FileFunctions.RegExpFileFilter(aFilter);
+ filter = new FileRoutines.RegExpFileFilter(aFilter);
recursive = aRecursive;
}
return name;
}
- public FileFunctions.RegExpFileFilter getFilter() {
+ public FileRoutines.RegExpFileFilter getFilter() {
return filter;
}
}
}
- dirFilter = new FileFunctions.DirectoryFilter();
+ dirFilter = new FileRoutines.DirectoryFilter();
}
public List getEntries() {
aSubDirectory = "";
}
- responseData.put("filelist", FileFunctions.getDirectoryContentsAsList(dir, aDirectory.getFilter()));
+ responseData.put("filelist", FileRoutines.getDirectoryContentsAsList(dir, aDirectory.getFilter()));
if (aDirectory.getRecursive()) {
List dirs = new ArrayList();
if (!dir.getCanonicalPath().equals(aDirectory.getRootDirectory().getCanonicalPath()))
responseData.put("updir", new File(aSubDirectory).getParent());
- dirs.addAll(FileFunctions.getDirectoryContentsAsList(dir, dirFilter));
+ dirs.addAll(FileRoutines.getDirectoryContentsAsList(dir, dirFilter));
responseData.put("dirlist", dirs);
}
}
}
- public void editFile(FileEditDirectory aDirectory, String aFileName, String aSubDirectory, HttpServletRequest aRequest, HttpServletResponse aResponse) throws ServletModuleExc
- {
+ public void editFile(FileEditDirectory aDirectory, String aFileName, String aSubDirectory, HttpServletRequest aRequest, HttpServletResponse aResponse) throws ServletModuleExc {
try {
File f = new File(new File(aDirectory.getRootDirectory(), aSubDirectory), aFileName);
// TODO read array
char[] c = new char[4096];
int read;
- while ( (read=in.read(c)) != -1)
+ while ((read=in.read(c)) != -1) {
out.write(c, 0, read);
+ }
in.close();
out.close();