Ezra Cooper wrotte:
Quoting Sam Lindley <[EMAIL PROTECTED]>:
Yes; if you turn on the cache_programs option, it *should* store
the type-checked, optimized code after doing it once & use that on
future hits. It should also detect when the file changes and
invalidate the cache. I say "should" because I haven't looked at
that stuff in a while. Let me know if you have any problems with
it, I'd like to make sure that code works well.
Caching is unlikely to work because it requires the web server to have
write access to the directory where the source code is stored.
If I added a setting which allowed choosing an alternate directory for
cache files, would this solve the problem? One could use /tmp, for
example. In this case I would also do something to prevent users from
clashing with one another, for example hashing the file's full path
name to form the cache filename.
Ezra
Yes. That seems like a sensible thing to do.
Sam
_______________________________________________
links-users mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/links-users
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
