Changeset 199

Timestamp:

11/04/02 16:34:28 (20 years ago)

Author:

piso

Message:

writeBuffer(): make sure file is writable before doing anything else.

File:

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

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

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: SystemBuffer.java,v 1.10 2002-11-04 15:55:07 piso Exp $
+ * $Id: SystemBuffer.java,v 1.11 2002-11-04 16:34:28 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -410 +410 @@
     public void writeBuffer() throws SaveException
     {
+        if (file.isFile() && !file.canWrite()) {
+            Log.error("writeFile: file is not writable: " + file);
+            throw new SaveException(file,
+                                    file.canonicalPath() + " is not writable");
+        }
         if (Platform.isPlatformWindows()) {
             // writeTemporaryFile() throws a SaveException if an error occurs.