mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
gfse: some small fixes
+ 'make install' to copy all required files to the server + configuration options and error checks in upload.cgi
This commit is contained in:
@@ -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
|
||||
|
||||
@@ -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.
|
||||
@@ -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>
|
||||
|
||||
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user