24 Jun
2011
24 Jun
'11
10:16 a.m.
Frédéric Delanoy wrote: - static const char escaped_space[] = {'@','s','p','a','c','e','@','\0'}; + static const char *escaped_space = "@space@"; I'm not sure it's worth the effort, since eventually we want cmd to use unicode internally, at which point we'll have to go back to using arrays.