Subversion Repositories wimsdev

#! /bin/sh
#
# Name: this is file "coqweb"
# Extension: shell script
# Function: interface coqweb pour wims
# Install: should be in ${w_wims_home}/public_html/bin
#          to be executable by wims's phtml
# usage for testing: ./coqweb_test
#
# usage from phtml:
# !exec coqweb version debug_level
# => wims calls : ${w_wims_home}/public_html/bin/coqweb
# parms are in env's wims_exec_parm

#
# If debug on
#
if [ "$w_croq6_dbg_level" = "1" ];then
 echo "[coqweb] called with $* ;;<br>"
 echo "<br>env start <br>"
 env >/tmp/env$$
 sed "s/$/<br>/" </tmp/env$$ >/tmp/sed$$
 cat /tmp/sed$$
 rm /tmp/env$$ /tmp/sed$$
 echo "<br>env end"
 echo "<br>coqweb start <br>"
fi
#
# The tuning
#
export TEMPS_LIMITE=50
#
# the basic coq parms
#
export COQWEBDIR=/var/lib/coqweb/coqweb2/
export COQWEBCOQ=/usr/bin/coqtop
export MODE=wims

rm -f $tmp_dir/biblio*

## bin/ch..root coqweb_wims2 <<@
bin/ch..root cww <<@
$wims_exec_parm
@

#
# If debug on
#
if [ "$w_croq6_dbg_level" = "1" ];then
 echo "<br>coqweb end <br>"
fi

if [ -f $tmp_dir/biblio_content ]; then
 fname=`cat $tmp_dir/biblio_name | grep -v '\.\.'`
 mv -f $tmp_dir/biblio_content $w_wims_home/chroot/var/lib/coqweb/coqweb2/bibliotheque/$fname
fi

if [ -f $tmp_dir/biblio_content2 ]; then
 fname=`cat $tmp_dir/biblio_name2 | grep -v '\.\.'`
 mv -f $tmp_dir/biblio_content2 $w_wims_home/chroot/var/lib/coqweb/coqweb2/bibliotheque/$fname
fi

if [ -f $tmp_dir/biblio_content3 ]; then
 fname=`cat $tmp_dir/biblio_name3 | grep -v '\.\.'`
 mv -f $tmp_dir/biblio_content3 $w_wims_home/chroot/var/lib/coqweb/coqweb2/bibliotheque/$fname
fi

if [ -f $tmp_dir/biblio_content4 ]; then
 fname=`cat $tmp_dir/biblio_name4 | grep -v '\.\.'`
 mv -f $tmp_dir/biblio_content4 $w_wims_home/chroot/var/lib/coqweb/coqweb2/bibliotheque/$fname
fi