diff options
| author | hallgren <hallgren@chalmers.se> | 2011-03-28 15:04:43 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-03-28 15:04:43 +0000 |
| commit | d1b95cef99c0c7d699987d090fd203e138b18223 (patch) | |
| tree | cd838b05bcf2de348516fdec49e8b9f8395d35ff /src/editor/simple/grammars.cgi | |
| parent | 06a29cb5733b5523d6102eabe9578460d64d32d1 (diff) | |
gfse: somewhat simplified configuration/installation
Diffstat (limited to 'src/editor/simple/grammars.cgi')
| -rw-r--r-- | src/editor/simple/grammars.cgi | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/editor/simple/grammars.cgi b/src/editor/simple/grammars.cgi new file mode 100644 index 000000000..9f1aa22a6 --- /dev/null +++ b/src/editor/simple/grammars.cgi @@ -0,0 +1,19 @@ +#!/bin/bash +echo "Content-Type: text/javascript" +echo "" + +case "$QUERY_STRING" in + jsonp=*) prefix="${QUERY_STRING#jsonp=}("; suffix=")" ;; + *) prefix=""; suffix="" +esac + +echo -n "$prefix" +sep="[" +for g in *.pgf ; do + echo -n "$sep\"$g\"" + sep=", " +done +echo "]$suffix" +#echo "/*" +#set +#echo "*/" |