jbe/bsw@0: --[[--
jbe/bsw@0: charset.set(
jbe/bsw@0:   charset_ident  -- identifier of a charset, i.e. "UTF-8"
jbe/bsw@0: )
jbe/bsw@0: 
jbe/bsw@0: Changes the currently used charset. Only "UTF-8" is supported, which is already set as a default, so calling this function is not really useful yet.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function charset.set(charset_ident)
jbe@262:   request.configure(function()
jbe@262:     charset._current = charset_ident
jbe@262:   end)
jbe/bsw@0: end