Rev 2441 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 23 | reyssat | 1 | #! /bin/sh |
| 2 | |||
| 4689 | bpr | 3 | ### ne sert plus actuellement |
| 4 | ### servait a soumettre des exercices dans un dossier incoming |
||
| 5 | |||
| 23 | reyssat | 6 | sessiond=$w_wims_home/$w_wims_sesdir |
| 7 | pubd=modules/incoming |
||
| 8 | oefname=$sessiond/submit.oef |
||
| 9 | |||
| 10 | namesuffix= |
||
| 11 | max_suffix=20 |
||
| 12 | if [ -f $pubd/src/$w_oef_fname.oef ]; then |
||
| 13 | if diff -b -B -q $oefname $pubd/src/$w_oef_fname.oef >/dev/null; then |
||
| 14 | echo fail already |
||
| 15 | exit |
||
| 16 | fi |
||
| 17 | namesuffix=2 |
||
| 18 | while [ -f $pubd/src/$w_oef_fname$namesuffix.oef -a $namesuffix -lt $max_suffix ]; |
||
| 19 | do |
||
| 20 | if diff -b -B -q $oefname $pubd/src/$w_oef_fname$namesuffix.oef >/dev/null; then |
||
| 21 | echo fail already |
||
| 22 | exit |
||
| 23 | fi |
||
| 24 | namesuffix=$(($namesuffix+1)) |
||
| 25 | done |
||
| 26 | if [ "$namesuffix" -gt $(($max_suffix-1)) ]; then |
||
| 27 | echo fail name_exhaustpub |
||
| 28 | exit |
||
| 29 | fi |
||
| 30 | fi |
||
| 31 | namebase=$w_oef_fname$namesuffix |
||
| 32 | |||
| 33 | cp -f $oefname $pubd/src/$namebase.oef |
||
| 34 | cd $pubd |
||
| 35 | msg=`src2def oef` |
||
| 36 | |||
| 37 | if [ -f def/$namebase.def ]; then |
||
| 38 | echo success $namebase |
||
| 39 | else |
||
| 40 | echo fail unknown |
||
| 41 | fi |
||
| 42 | |||
| 43 | echo "$msg" |