Re: print non-kb characters

[Philippe Lhoste <PhiLho@...>]

On 27/06/2011 21:50, Dave Collins wrote:
> If this were HTML/JavaScript I would simply write: document.write("\u2013"). The
> character codes are listed like this (http://www.ascii.cl/htmlcodes.htm), and I simply
> write out the string.

Made a quick test:

if io.output("Test.txt") then
  io.write("\254\255\32\19")
  io.close()
end

I get an UTF-16 file (with Bom) with an ndash.

--
Philippe Lhoste
--  (near) Paris -- France
--  http://Phi.Lho.free.fr
--  --  --  --  --  --  --  --  --  --  --  --  --  --