<div class="gmail_quote">On Tue, Mar 11, 2008 at 11:36 PM, Robby Findler <<a href="mailto:robby@cs.uchicago.edu">robby@cs.uchicago.edu</a>> wrote:<br> <blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">The documentation uses the word "blocked". Maybe it would have been<br>better to use that here, too.</blockquote> <div> </div> <div>Cool.</div> <div> </div> <blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">In any case, that's the intended behavior and it is relied on all over<br>the place in our code base.</blockquote> <div> </div> <div>Super, good to know.</div> <div> </div> <div>My question was intended as just that - a question. I do apologize if it came across in any sort of negative light.</div> <div> </div> <div>-Ben</div></div><br>-- <br>I'm so done with my commute. See what I'm up to now: <a href="http://www.ideas2executables.com">www.ideas2executables.com</a><br>The Blog: <a href="http://benjisimon.blogspot.com">benjisimon.blogspot.com</a><br>