2017-04-17 18:48 GMT+06:00 Adam Chlipala <[email protected]>: > On 04/16/2017 11:10 PM, Artyom Shalkhakov wrote: >> >> * [wget] is used to scrape the pages and save them to a file (using >> -static protocol, I could not get the dynamic JS file output) > > > I hadn't thought of that case, so it sounds like a good new feature to > request: outputting JavaScript code in '-static' mode. >
I filed an issue here: https://github.com/urweb/urweb/issues/76 I'd like some pointers on making it work. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur -- Cheers, Artyom Shalkhakov _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
