Exemple #1
0
 // update the modified time of the given file, or create it
 public static void touch(java.io.File file) throws ServiceException {
   if (file.exists()) {
     file.setLastModified((new java.util.Date()).getTime());
   } else {
     create(file);
   }
 }
Exemple #2
0
 // returns whether the given file exists
 public static boolean exists(java.io.File file) throws ServiceException {
   return file == null ? false : file.exists() && file.isFile();
 }