Searched refs:urlhex (Results 1 – 2 of 2) sorted by relevance
728 const char *urlhex = "0123456789ABCDEF"; variable738 url += string("%") + urlhex[c/16] + urlhex[c%16]; in open_wiki()
257 uint_parser<char,16,2,2> urlhex; in decodeUrl() local262 (lit('%') >> (char_('%') | urlhex)) in decodeUrl()