On Sat, Feb 11, 2012 at 1:35 PM, Steven A Rowe <[email protected]> wrote:
> This fails 100% of the time for me with the given seed, and passes when I 
> don't specify the seed:

Thanks for reporting this. Guessing something still has a open file
handle on "reuters.first20.lines.txt" and thats why it cannot be
deleted... hopefully not something crazy like a virus checker...

I'll see if I can reproduce on windows.

-- 
lucidimagination.com

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to