Hi. I wrote a small library which allows to insert <script> tags referencing foreign scripts. I hope you find it doesn't violate security too much since user should explicitly allow the script url in the project file. Typical usage example is:
fun js {} : transaction xhead =
return (Script.insert (blessMime "text/javascript") (bless
"http://code.jquery.com/ui/1.10.3/jquery-ui.js";))
fun main {} : transaction page =
s <- js {};
return
<xml>
<head>
{s}
</head>
<body>
</body>
</xml>
The library requires a couple of small patches for the UrWeb. The
first one adds `typedef uw_Basis_string uw_Basis_xhead' declaration to
the C header (forgotten by mistake). The second one adds
`-print-cinlude' command line argument which should make writing
makefiles easier (the last command line patch from me, i promise:)
Regards,
Sergey
1_of_1_Add__print_cinlude_command_line_option.patch
Description: Binary data
1_of_1_Add_C_declaration_for_the_xhead_type.patch
Description: Binary data
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
