<br>Intriguing. I was unaware of that. Thank you!<br><br><div class="gmail_quote">On Mon, Apr 23, 2012 at 12:01 PM, Hynek Vychodil <span dir="ltr"><<a href="mailto:hynek@gooddata.com">hynek@gooddata.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Doesn't flush() work as well for you?<br>
<div class="HOEnZb"><div class="h5"><br>
On Mon, Apr 23, 2012 at 12:23 PM, Robert Raschke<br>
<<a href="mailto:rtrlists@googlemail.com">rtrlists@googlemail.com</a>> wrote:<br>
> Whenever I tinker with message sending and receiving in the shell, I make me<br>
> this handy small fun (or similar) to ease my life:<br>
><br>
> (erl@localhost)1> R = fun () -> receive X -> X after 0 -><br>
> no_messages_pending end end.<br>
> #Fun<erl_eval.20.21881191><br>
> (erl@localhost)2> self() ! {a, message}.<br>
> {a,message}<br>
> (erl@localhost)3> R().<br>
> {a,message}<br>
> (erl@localhost)4> R().<br>
> no_messages_pending<br>
> (erl@localhost)5><br>
><br>
><br>
> Robby<br>
><br></div></div></blockquote></div>