From 8cf7671e074b5f19bb9626ff484dde1cdb7db8cb Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 1 Aug 2011 15:01:14 +0000
Subject: [PATCH] gfse: added links to download PGF files for user's grammars

---
 src/editor/simple/upload.cgi | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

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