<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><span style="color:rgb(34,34,34)">I don't get why sending multiple times comes into it - you send it, it</span><br>

</div></div>
gets ordered, then you display it.<br>
<br>
This does present a UI problem, though - your messages are not<br>
displayed until some time later (I guess they can sit in a stack<br>
somewhere in the meantime, tho).<br>
</blockquote></div><br></div><div class="gmail_extra">Appropriately, we had an unexpected (to me) total ordering of messages about totally ordering messages :-)</div><div class="gmail_extra"><br></div><div class="gmail_extra">

I believe sending multiple times comes would come in if the protocol rejects messages which doesn't reference the most recently included message, as opposed to keeping them in a queue and publishing them later. Re-sending seems like a slight improvement because it gives clients the option of not re-sending if their message no longer makes sense (though most clients will likely be configured to re-send, as its easier).</div>

</div>