On Thu, Mar 22, 2018 at 11:06:17PM +0100, Bill Allombert wrote: > So I do not think the server should do it blindly. It is probably better > to do it client-side.
Ok. If arbitrary user-supplied input is passed to the data files that get published, is there precise documentation of the format of those files, so that one can implement parsers that don't choke on the unexpected? Enrico -- GPG key: 4096R/634F4BD1E7AD5568 2009-05-08 Enrico Zini <enr...@enricozini.org>
