Quote filename argument when creating a redirect from old-style "getfile.py" URL to the new-style "files" URL. Fixes problem with filenames containing spaces and whatnot.
Description
Description
Details
Details
- Committed
Tibor Simko <tibor.simko@cern.ch> Mar 1 2007, 12:22 - Parents
- R3600:c60e41b7bc71: Made language-dependant formatting not applicable when PHP BibFormat is used.
- Branches
- Unknown
- Tags