Changeset 242

Timestamp:

11/14/02 15:33:29 (21 years ago)

Author:

piso

Message:

deleteRename(): log a warning if source file does not exist.

File:

• trunk/j/src/org/armedbear/j/Utilities.java (modified) (3 diffs)

trunk/j/src/org/armedbear/j/Utilities.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: Utilities.java,v 1.4 2002-11-04 15:38:57 piso Exp $
+ * $Id: Utilities.java,v 1.5 2002-11-14 15:33:29 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -800 +800 @@
     public static boolean deleteRename(File source, File destination)
     {
+        if (!source.isFile()) {
+            Log.warn("deleteRename source file " + source + " does not exist");
+            return false;
+        }
         // The delete/rename operation sometimes fails on NT at first, but then
         // succeeds later, so we do some retries here if necessary.
@@ -910 +914 @@
     private static boolean overwriteFile(File source, File destination)
     {
-        if (!source.exists() || !source.isFile())
+        if (!source.isFile())
             return false;
         boolean error = false;