diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-01 15:01:14 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-01 15:01:14 +0000 |
| commit | 8cf7671e074b5f19bb9626ff484dde1cdb7db8cb (patch) | |
| tree | 6ec5121aee680fefb00c42ff0476f0b52fdb3ad8 /src/editor/simple | |
| parent | a918bcaf68cf20c7ddd1b9de9a4f3818c77d0101 (diff) | |
gfse: added links to download PGF files for user's grammars
Diffstat (limited to 'src/editor/simple')
| -rw-r--r-- | src/editor/simple/upload.cgi | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/src/editor/simple/upload.cgi b/src/editor/simple/upload.cgi index 662a1d35d..87b868f53 100644 --- a/src/editor/simple/upload.cgi +++ b/src/editor/simple/upload.cgi @@ -66,8 +66,12 @@ check_grammar() { dt ; echo "◂"; link "javascript:history.back()" "Back to Editor" end + sed=(); + for pgf in *.pgf ; do + sed=("${sed[@]}" -e "s%$pgf%<a href=\"${dir##*/}/$pgf\">$pgf</a>%") + done begin pre - ls -l *.pgf + ls -l *.pgf | sed "${sed[@]}" end else end @@ -226,6 +230,22 @@ case "$REQUEST_METHOD" in cgiheaders echo "cc $exp" | GF_RESTRICTED=True gf -run ;; + "") + case "$PATH_INFO" in + /tmp/gfse.*/*.pgf) + path="$documentRoot$PATH_INFO" + if [ -r $path ] ; then + ContentType="application/binary" + cgiheaders + cat "$path" + else + error404 + fi + ;; + *) + error400 + esac + ;; *) error400 esac esac |