<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Sep 28, 2014 at 2:11 PM, Elias Diem <span dir="ltr"><<a href="mailto:lists@webconect.ch" target="_blank">lists@webconect.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">On 2014-09-28,  Elias Diem wrote:<br>
<br>
> I will test it later this day on another computer as well.<br>
<br>
</span>I just tested it on another Linux box. And it works!! What<br>
could be the problem?<br>
<br></blockquote></div><br>readString is documented as not doing any decoding, so you're dependent 
on your readFile doing it right for you, but that depends on your locale
 ! <br>You could set your IO system input encoding yourself to avoid the problem 
but it seems simpler to use "readDocument" provided by Hxt instead since that'll read 
the file with your specified input encoding.<br><br>-- <br></div><div class="gmail_extra">Jedaï<br></div></div>