Lines Matching defs:srcfile
210 public static void copyFile(File destfile, File srcfile)
214 FileInputStream input = new FileInputStream(srcfile);
260 File srcfile = new File(srcdir, files[i]);
262 if (srcfile.isFile()) {
266 srcfile.toString(), destdir.toString());
270 srcfile.toString(), destdir.toString());
271 Util.copyFile(destfile, srcfile);
273 } else if(srcfile.isDirectory()) {
276 srcfile.getName())){
278 DirectoryManager.URL_FILE_SEPARATOR + srcfile.getName(),