1) bug fix on nativeavailable(): forgot to get back the file pointer to the current...
authoryeom <yeom>
Mon, 15 Aug 2011 18:08:18 +0000 (18:08 +0000)
committeryeom <yeom>
Mon, 15 Aug 2011 18:08:18 +0000 (18:08 +0000)
commitbe34eec682d9c5a81206b8172032b3154ad57210
tree2b52c04e21b676752954000252fdc6a5c26ed336
parent3d3fdbcd196fc83cfc9a73cb8b5777c4b50c0621
1) bug fix on nativeavailable(): forgot to get back the file pointer to the current position.
2) small optimization on the FileInputStream.
Robust/src/ClassLibrary/SSJava/FileInputStream.java
Robust/src/Runtime/file.c