Active doesn't let you do rpc requests though, but if you don't need that then active works as well, didn't think about that either...
Op do 5 jul. 2018 om 15:59 schreef Adam Chlipala <ad...@csail.mit.edu>: > 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 >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur