summaryrefslogtreecommitdiff
path: root/src/editor/simple
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-02-17 17:35:22 +0000
committerhallgren <hallgren@chalmers.se>2011-02-17 17:35:22 +0000
commit8dd2a1ddc05043f98b092b67364d7051e947e82d (patch)
tree809e63acb4bd891524f76be2ad1c487ed53daf8f /src/editor/simple
parentc1f0d57210c00e3cb35c95f5fc11462f08f5bed2 (diff)
gfse: some small fixes
+ 'make install' to copy all required files to the server + configuration options and error checks in upload.cgi
Diffstat (limited to 'src/editor/simple')
-rw-r--r--src/editor/simple/Makefile4
-rw-r--r--src/editor/simple/TODO3
-rw-r--r--src/editor/simple/index.html4
-rw-r--r--src/editor/simple/upload.cgi16
4 files changed, 22 insertions, 5 deletions
diff --git a/src/editor/simple/Makefile b/src/editor/simple/Makefile
index 8deac8b2a..be40c0944 100644
--- a/src/editor/simple/Makefile
+++ b/src/editor/simple/Makefile
@@ -1,3 +1,7 @@
save: save.hs
ghc --make save.hs
+
+install::
+ @make save
+ rsync -avz P *.html *.css *.js ../../runtime/javascript/minibar/support.js *.cgi *.manifest save www.grammaticalframework.org:/usr/local/www/GF/demos/gfse
diff --git a/src/editor/simple/TODO b/src/editor/simple/TODO
index b9a684518..1d876e9d9 100644
--- a/src/editor/simple/TODO
+++ b/src/editor/simple/TODO
@@ -26,3 +26,6 @@
- Bug! After adding a 2nd def of a fun with a different type and then deleting
the old fun, the corresponding lin will have the wrong lhs.
+
+- Bug! The startcat menu shows the first category by default, but the startcat
+ flag is actually not set until a selection is made from the menu. \ No newline at end of file
diff --git a/src/editor/simple/index.html b/src/editor/simple/index.html
index ef3843379..dcca4d7b7 100644
--- a/src/editor/simple/index.html
+++ b/src/editor/simple/index.html
@@ -31,10 +31,10 @@ This page does not work without JavaScript.
<hr>
<div class=modtime><small>
HTML
-<!-- hhmts start --> Last modified: Wed Feb 16 15:10:52 CET 2011 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Feb 17 17:45:54 CET 2011 <!-- hhmts end -->
</small></div>
<a href="about.html">About</a>
-<script type="text/javascript" src="../../runtime/javascript/minibar/support.js"></script>
+<script type="text/javascript" src="support.js"></script>
<script type="text/javascript" src="localstorage.js"></script>
<script type="text/javascript" src="gf_abs.js"></script>
<script type="text/javascript" src="editor.js"></script>
diff --git a/src/editor/simple/upload.cgi b/src/editor/simple/upload.cgi
index fbc5a0be1..439ead53e 100644
--- a/src/editor/simple/upload.cgi
+++ b/src/editor/simple/upload.cgi
@@ -11,10 +11,10 @@ export LC_CTYPE="UTF-8"
style_url="editor.css"
make_dir() {
- dir="$(mktemp -d ../tmp/gfse.XXXXXXXX)"
+ dir="$(mktemp -d "$tmp/gfse.XXXXXXXX")"
# chmod a+rxw "$dir"
chmod a+rx "$dir"
- ln "$dir/../../grammars/grammars.cgi" "$dir"
+ ln "$grammars/grammars.cgi" "$dir"
}
@@ -49,12 +49,21 @@ check_grammar() {
endall
}
+if [ -z "$tmp" ] || [ -z "$grammars" ] ||
+ ! [ -d "$tmp" ] || ! [ -d "$grammars" ] ; then
+ pagestart "Error"
+ echo "upload.cgi is not properly configured"
+
+ # cgiconfig.sh must define tmp and grammars.
+ # cgiconfig.sh should minibar and gfshell to allow grammars to be tested.
+ endall
+else
case "$REQUEST_METHOD" in
POST)
case "$PATH_INFO" in
/tmp/gfse.*)
style_url="../../$style_url"
- dir="../tmp/${PATH_INFO##*/}"
+ dir="$tmp/${PATH_INFO##*/}"
check_grammar
;;
*)
@@ -75,3 +84,4 @@ case "$REQUEST_METHOD" in
endall
esac
esac
+fi