まえに patch と一緒に Bugzilla に新規登録した Bug 355827 – SpiderMonkey's readline() can't distinguish EOF が FIXED になった。
自分のコードとはいっても改変部分は一行だけだし、最終的に CVS に行ったのは Brian Crowder さんが余計な括弧を一組はずしたやつだけど、でもうれしい。
var ln;
while ((ln = readline()) != null) {
print(ln);
}
cat!!!
