* java/io/RandomAccessFile.java (setLength): Set position to new

       length when new length is smaller then current position.

2 files changed, 17 insertions, 6 deletions

diff --git a/ChangeLog b/ChangeLog
index 592deffb1..d83405f77 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-04-29  Mark Wielaard  <mark@klomp.org>
+
+	* java/io/RandomAccessFile.java (setLength): Set position to new
+	length when new length is smaller then current position.
+
 2004-04-29  Michael Koch  <konqueror@gmx.de>
 
 	* java/net/InetAddress.java
diff --git a/java/io/RandomAccessFile.java b/java/io/RandomAccessFile.java
index c20549c12..b6133d0d6 100644
--- a/java/io/RandomAccessFile.java
+++ b/java/io/RandomAccessFile.java
@@ -194,12 +194,14 @@ public class RandomAccessFile implements DataOutput, DataInput
   }
 
   /**
-   * This method sets the length of the file to the specified length.  If
-   * the currently length of the file is longer than the specified length,
-   * then the file is truncated to the specified length.  If the current
-   * length of the file is shorter than the specified length, the file
-   * is extended with bytes of an undefined value.
-   *  <p>
+   * This method sets the length of the file to the specified length.
+   * If the currently length of the file is longer than the specified
+   * length, then the file is truncated to the specified length (the
+   * file position is set to the end of file in this case).  If the
+   * current length of the file is shorter than the specified length,
+   * the file is extended with bytes of an undefined value (the file
+   * position is unchanged in this case).
+   * <p>
    * The file must be open for write access for this operation to succeed.
    *
    * @param newlen The new length of the file
@@ -209,6 +211,10 @@ public class RandomAccessFile implements DataOutput, DataInput
   public void setLength (long newLen) throws IOException
   {
     ch.truncate (newLen);
+
+    long position = getFilePointer();
+    if (position > newLen)
+      seek(newLen);
   }
 
   /**