1 --[[--

2 url_encoded_string = -- URL-encoded string

3 encode.url_part(

4 obj -- any native datatype or atom

5 )

6

7 This function encodes any native datatype or atom in a way that it can be placed inside an URL. It is first dumped with atom.dump(...) and then url-encoded.

8

9 --]]--

10

11 function encode.url_part(obj)

12 return (

13 string.gsub(

14 atom.dump(obj),

15 "[^0-9A-Za-z_%.~-]",

16 function (char)

17 return string.format("%%%02x", string.byte(char))

18 end

19 )

20 )

21 end