Changeset 243

Timestamp:

11/14/02 15:35:42 (20 years ago)

Author:

piso

Message:

save(): don't call deleteRename() if source file doesn't exist.

File:

• trunk/j/src/org/armedbear/j/SessionProperties.java (modified) (2 diffs)

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

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: SessionProperties.java,v 1.1.1.1 2002-09-24 16:08:26 piso Exp $
+ * $Id: SessionProperties.java,v 1.2 2002-11-14 15:35:42 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -244 +244 @@
             out.flush();
             out.close();
-            if (!Utilities.deleteRename(file, backupFile)) {
+            if (file.exists() && !Utilities.deleteRename(file, backupFile)) {
                 Log.error("SessionProperties.save deleteRename failed");
                 Log.error("source = " + file);