I think push_text() is just a macro for the code you listed there. I'd say about half of the commonly used helper functions are really convenience macros. Unfortunately, most aren't documented :/
It would be interesting to know what the various make_*_string() are used for...
Bill
On Jul 11, 2005, at 3:54 PM, Lance Dillon wrote:
pike-devel@lists.lysator.liu.se