mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-21 09:02:50 -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
|
save: save.hs
|
||||||
ghc --make 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
|
- 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.
|
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>
|
<hr>
|
||||||
<div class=modtime><small>
|
<div class=modtime><small>
|
||||||
HTML
|
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>
|
</small></div>
|
||||||
<a href="about.html">About</a>
|
<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="localstorage.js"></script>
|
||||||
<script type="text/javascript" src="gf_abs.js"></script>
|
<script type="text/javascript" src="gf_abs.js"></script>
|
||||||
<script type="text/javascript" src="editor.js"></script>
|
<script type="text/javascript" src="editor.js"></script>
|
||||||
|
|||||||
@@ -11,10 +11,10 @@ export LC_CTYPE="UTF-8"
|
|||||||
style_url="editor.css"
|
style_url="editor.css"
|
||||||
|
|
||||||
make_dir() {
|
make_dir() {
|
||||||
dir="$(mktemp -d ../tmp/gfse.XXXXXXXX)"
|
dir="$(mktemp -d "$tmp/gfse.XXXXXXXX")"
|
||||||
# chmod a+rxw "$dir"
|
# chmod a+rxw "$dir"
|
||||||
chmod a+rx "$dir"
|
chmod a+rx "$dir"
|
||||||
ln "$dir/../../grammars/grammars.cgi" "$dir"
|
ln "$grammars/grammars.cgi" "$dir"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -49,12 +49,21 @@ check_grammar() {
|
|||||||
endall
|
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
|
case "$REQUEST_METHOD" in
|
||||||
POST)
|
POST)
|
||||||
case "$PATH_INFO" in
|
case "$PATH_INFO" in
|
||||||
/tmp/gfse.*)
|
/tmp/gfse.*)
|
||||||
style_url="../../$style_url"
|
style_url="../../$style_url"
|
||||||
dir="../tmp/${PATH_INFO##*/}"
|
dir="$tmp/${PATH_INFO##*/}"
|
||||||
check_grammar
|
check_grammar
|
||||||
;;
|
;;
|
||||||
*)
|
*)
|
||||||
@@ -75,3 +84,4 @@ case "$REQUEST_METHOD" in
|
|||||||
endall
|
endall
|
||||||
esac
|
esac
|
||||||
esac
|
esac
|
||||||
|
fi
|
||||||
|
|||||||
Reference in New Issue
Block a user