[Ur] calling javascript code in <dyn>

Thu Jul 5 10:09:19 EDT 2018

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 <adamc at 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 at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180705/5d7e6d51/attachment.html>