Rev 14 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 14 | Rev 827 | ||
|---|---|---|---|
| Line 13... | Line 13... | ||
| 13 | # parms are in env's wims_exec_parm |
13 | # parms are in env's wims_exec_parm |
| 14 | 14 | ||
| 15 | # |
15 | # |
| 16 | # If debug on |
16 | # If debug on |
| 17 | # |
17 | # |
| 18 | if [ "$w_croq6_dbg_level" |
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$$ |
| Line 44... | Line 44... | ||
| 44 | @ |
44 | @ |
| 45 | 45 | ||
| 46 | # |
46 | # |
| 47 | # If debug on |
47 | # If debug on |
| 48 | # |
48 | # |
| 49 | if [ "$w_croq6_dbg_level" |
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 '\.\.'` |