Oh, right. The <active> tag should do just as well, in that case.
You'd need to return an empty XML document explicitly, but that's not hard.
On 07/05/2018 09:43 AM, Simon Van Casteren wrote:
Side note: the <script> tag in basis can only be placed in the <head>
part of an html document, so if you want to apply this you'll need to
use the JS ffi to make a new "bodyscript" tag, as mentioned in the
manual in chapter 11.3)
_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur