Changeset 197

Timestamp:

11/04/02 15:38:57 (20 years ago)

Author:

piso

Message:

copyFile(): log more information if an error occurs.

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.3 2002-11-04 15:32:22 piso Exp $
+ * $Id: Utilities.java,v 1.4 2002-11-04 15:38:57 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -829 +829 @@
     {
         if (!source.isFile()) {
-            Log.error("copyFile error - source is not a file");
+            Log.error("copyFile error - source is not a file: " + source);
             return false;
         }
         if (destination.isDirectory()) {
-            Log.error("copyFile error - destination is a directory");
+            Log.error("copyFile error - destination is a directory: " + destination);
             return false;
         }
         if (destination.isFile() && !destination.canWrite()) {
-            Log.error("copyFile error - destination is read only");
+            Log.error("copyFile error - destination is read only: " + destination);
             return false;
         }
@@ -890 +890 @@
             if (destination.exists()) {
                 // Unable to delete existing destination file.
-                Log.error("copyFile error - unable to delete existing destination file");
+                Log.error("copyFile error - unable to delete existing destination file: " + destination);
                 tempFile.delete();
                 return false;