[Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless'
Adam Chlipala
adamc at csail.mit.edu
Thu Jul 16 16:20:02 EDT 2015
On 07/16/2015 09:54 AM, Stefan Scott Alexander wrote:
> When initially trying to compile UPO, I am getting compile errors (the
> following line, printed 3 times):
>
> /home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL
> /style.css passed to 'bless'
One might make an argument that the following configuration should be
moved into the UPO library itself, but:
Somewhere in a .urp file, you need to whitelist that URL
("/style.css"). See the UPO example .urp files for code.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150716/25e97199/attachment.html>
More information about the Ur
mailing list