<div class="gmail_quote">On Thu, Mar 12, 2009 at 2:44 PM, Stefan Schmidt <span dir="ltr"><<a href="mailto:stefanschmidt42@googlemail.com">stefanschmidt42@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
As a work around, I could convert two PortNumbers back to Int-Values before comparing them, but I think the ordering functions for the PortNumber-Type do not work as expected. Or am I wrong?<br><font color="#888888">
</font></blockquote><div><br>You're right. Arguably the port numbers shouldn't have their endianness switched until the need actually arises (passed into bind or the like).<br><br>However, it's also arguably the case that you shouldn't care about port number ordering. That smells dodgy to me.<br>
</div></div>