[e-lang] Joe-E 1.0 out

[Tyler Close]

On 7/11/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
> Thanks for finding this.  It's now fixed in my working copy, which I'll
> release soon along with fixes for any other bugs that are found in the
> next few days.

I've finished running the rest of the Waterken Server through the new
Verifier and that's the only bug I've found. I haven't tried torturing
it yet though. ;)

What's the plan for the rest of the file API? I need the following methods:

java.io.File#isDirectory
java.io.File#isFile
java.io.File#lastModified
java.io.File#length

Calling lastModified returns non-zero answers for some of the windows
special filenames. No idea what the answers mean, but they might be
dangerous. I suspect lastModified and length should both be wrapped,
but isDirectory and isFile can be marked as tamed.

Tyler

-- 
The web-calculus is the union of REST and capability-based security:
http://www.waterken.com/dev/Web/

Name your trusted sites to distinguish them from phishing sites.
https://addons.mozilla.org/firefox/957/