[Ur] Making Ur/Web applications serve static files

[Istvan Chung]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 07/31/2014 10:00 AM, Adam Chlipala wrote:
> By popular request, I've added an Ur/Web feature to serve static
> files from application executables.  The feature is in the latest
> development version: http://hg.impredicative.com/urweb
> 
> See file tests/files.urp for example usage.
> 
> Folks who've requested this sort of feature: it would be great if
> you could let me know if it does what you wanted.  Then I can make
> a new official Ur/Web release, once everything seems to be in
> order. Thanks!
> 
> _______________________________________________ Ur mailing list 
> Ur at impredicative.com 
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

The new [file] directive works perfectly for serving static javascript
files.  My only concern is that the file is embedded into the
executable, which means that for other applications (say, serving
large images) the executable might get very large.

- -- 
Istvan Chung
((lambda (x)
   (list x (list (quote quote) x)))
 (quote
  (lambda (x)
    (list x (list (quote quote) x)))))
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEAREIAAYFAlPawjQACgkQM1keTVXkyWyaHQCfQp8VrAWF4xeNW2FdSEmlxw8M
YV8AnjbfpkRArcQzSNeJX/NshhRemc5p
=4/gZ
-----END PGP SIGNATURE-----