webmcp
annotate framework/env/encode/file_path.lua @ 307:2b2bc360aabc
Improved trace time output
| author | bsw |
|---|---|
| date | Sun Mar 22 20:38:55 2015 +0100 (2015-03-22) |
| parents | 3d43a5cf17c1 |
| children | 225d6b2ac050 |
| rev | line source |
|---|---|
| jbe/bsw@0 | 1 --[[-- |
| jbe/bsw@0 | 2 path = -- string containing a (file) path |
| jbe/bsw@0 | 3 encode.encode_file_path( |
| jbe/bsw@0 | 4 base_path, |
| jbe/bsw@0 | 5 element1, -- next part of the path |
| jbe/bsw@0 | 6 element2, -- next part of the path |
| jbe/bsw@0 | 7 ... |
| jbe/bsw@0 | 8 ) |
| jbe/bsw@0 | 9 |
| jbe/bsw@0 | 10 This function does the same as encode.concat_file_path, except that all arguments but the first are encoded using the encode.file_path_element function. |
| jbe/bsw@0 | 11 |
| jbe/bsw@0 | 12 --]]-- |
| jbe/bsw@0 | 13 |
| jbe/bsw@0 | 14 function encode.file_path(base, ...) -- base argument is not encoded |
| jbe/bsw@0 | 15 local raw_elements = {...} |
| jbe/bsw@0 | 16 local encoded_elements = {} |
| jbe/bsw@0 | 17 for i = 1, #raw_elements do |
| jbe/bsw@0 | 18 encoded_elements[i] = encode.file_path_element(raw_elements[i]) |
| jbe/bsw@0 | 19 end |
| jbe@64 | 20 return encode.concat_file_path(base, table.unpack(encoded_elements)) |
| jbe/bsw@0 | 21 end |