Subversion Repositories wimsdev

Rev

Rev 827 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 827 Rev 17347
Line 14... Line 14...
14 
 
 14 
 
15 
#
 15 
#
16 
# If debug on
 16 
# If debug on
17 
#
 17 
#
18 
if [ "$w_croq6_dbg_level" = "1" ];then
 18 
if [ "$w_croq6_dbg_level" = "1" ];then
19 
 echo "[coqweb] called with $* ;;<br/>"
 19 
 echo "[coqweb] called with $* ;;<br>"
20 
 echo "<br/>env start <br/>"
 20 
 echo "<br>env start <br>"
21 
 env >/tmp/env$$
 21 
 env >/tmp/env$$
22 
 sed "s/$/<br\/>/" </tmp/env$$ >/tmp/sed$$
 22 
 sed "s/$/<br>/" </tmp/env$$ >/tmp/sed$$
23 
 cat /tmp/sed$$
 23 
 cat /tmp/sed$$
24 
 rm /tmp/env$$ /tmp/sed$$
 24 
 rm /tmp/env$$ /tmp/sed$$
25 
 echo "<br/>env end"
 25 
 echo "<br>env end"
26 
 echo "<br/>coqweb start <br/>"
 26 
 echo "<br>coqweb start <br>"
27 
fi
 27 
fi
28 
#
 28 
#
29 
# The tuning
 29 
# The tuning
30 
#
 30 
#
31 
export TEMPS_LIMITE=50
 31 
export TEMPS_LIMITE=50
Line 45... Line 45...
45 
 
 45 
 
46 
#
 46 
#
47 
# If debug on
 47 
# If debug on
48 
#
 48 
#
49 
if [ "$w_croq6_dbg_level" = "1" ];then
 49 
if [ "$w_croq6_dbg_level" = "1" ];then
50 
 echo "<br/>coqweb end <br/>"
 50 
 echo "<br>coqweb end <br>"
51 
fi
 51 
fi
52 
 
 52 
 
53 
if [ -f $tmp_dir/biblio_content ]; then
 53 
if [ -f $tmp_dir/biblio_content ]; then
54 
 fname=`cat $tmp_dir/biblio_name | grep -v '\.\.'`
 54 
 fname=`cat $tmp_dir/biblio_name | grep -v '\.\.'`
55 
 mv -f $tmp_dir/biblio_content $w_wims_home/chroot/var/lib/coqweb/coqweb2/bibliotheque/$fname
 55 
 mv -f $tmp_dir/biblio_content $w_wims_home/chroot/var/lib/coqweb/coqweb2/bibliotheque/$fname