<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Am 26.08.2013 14:38, schrieb Jonas
      Maebe:<br>
    </div>
    <blockquote
      cite="mid:051830BF-3633-43CF-BA3D-3CF5E796E220@elis.ugent.be"
      type="cite"><br>
      <div>
        <div>On 26 Aug 2013, at 14:34, Sven Barth wrote:</div>
        <br class="Apple-interchange-newline">
        <blockquote type="cite"><span style="color: rgb(0, 0, 0);
            font-family: monospace; font-size: medium; font-style:
            normal; font-variant: normal; font-weight: normal;
            letter-spacing: normal; line-height: normal; orphans: auto;
            text-align: start; text-indent: 0px; text-transform: none;
            white-space: normal; widows: auto; word-spacing: 0px;
            -webkit-text-stroke-width: 0px; display: inline !important;
            float: none;">Take your time. A few hours/days more or less
            won't hurt and at least we already know a fix for the
            resulting problem, but I'd also like to fix the cause :)</span><br
            style="color: rgb(0, 0, 0); font-family: monospace;
            font-size: medium; font-style: normal; font-variant: normal;
            font-weight: normal; letter-spacing: normal; line-height:
            normal; orphans: auto; text-align: start; text-indent: 0px;
            text-transform: none; white-space: normal; widows: auto;
            word-spacing: 0px; -webkit-text-stroke-width: 0px;">
        </blockquote>
      </div>
      <br>
      <div>It's already fixed in trunk in r<span style="font-family:
          monospace;">19338</span></div>
    </blockquote>
    No, the fix is the one added by you (the one with "if len = 0 then
    ..."), but the record in question does not fit the criteria
    mentioned and thus I'd like to know why as this could point to a
    more serious problem on Sparc that we aren't aware of yet.<br>
    <br>
    Regards,<br>
    Sven<br>
  </body>
</html>