<div dir="ltr">I don't think the proposed fix would "resist" in this manner. The directory could be deleted between the time you check for its existence and when you ask for its contents.<div><div><div><div><br>
</div><div>Robby</div></div></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Dec 23, 2013 at 7:05 PM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><br></div><div>If you don't have permissions, you can't recur and the current implementation throws an error w/o recourse to a fix. As Manfred points out, this is a 'fair weather' function. A real implementation should resist such external mishaps. But I also agree w/ you about the parameter. It would generalize this situation -- Matthias</div>
<div><div class="h5"><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><br><div><div>On Dec 23, 2013, at 5:53 PM, Robby Findler wrote:</div><br><blockquote type="cite"><div dir="ltr">Perhaps in-directory can take an optional parameter that controls whether or not to recur?<div>
<div><br></div><div>Robby</div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Dec 23, 2013 at 4:42 PM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br>
On Dec 23, 2013, at 5:12 PM, Manfred Lotz <<a href="mailto:manfred.lotz@arcor.de" target="_blank">manfred.lotz@arcor.de</a>> wrote:<br>
<br>
> I think in-directory should be fixed in the long run.<br>
<br>
</div>Agreed. -- Matthias<br>
<div><div><br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>
</blockquote></div><br></div></div></div></blockquote></div><br></div>