Rev 6645 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 23 | reyssat | 1 | #-------------------------- |
| 2 | # accelerateur d'execution | |
||
| 3 | #-------------------------- |
||
| 4 | wims_multiexec= maxima pari yacas |
||
| 5 | |||
| 6 | |||
| 7 | ################## debut d'initialisation ################## |
||
| 8 | status=waiting |
||
| 9 | wims_module_log=$cmd |
||
| 10 | |||
| 11 | #------------------------------ |
||
| 12 | # initialisation de constantes | |
||
| 13 | #------------------------------ |
||
| 14 | etape=1 |
||
| 15 | navig=1 |
||
| 16 | ckchnb=0 |
||
| 17 | |||
| 18 | #------------------------ |
||
| 19 | # vidange de code source | |
||
| 20 | #------------------------ |
||
| 21 | !mexec rmdepot.sh |
||
| 22 | |||
| 23 | #--------------------- |
||
| 24 | # lecture des alertes | |
||
| 25 | #--------------------- |
||
| 26 | !read comsDir/alerts |
||
| 27 | |||
| 28 | #------------------------- |
||
| 29 | # lecture des cosmétiques | |
||
| 30 | #------------------------- |
||
| 31 | !read comsDir/formats |
||
| 32 | !read comsDir/exosDescription |
||
| 33 | |||
| 34 | version=v0.6 |
||
| 35 | |||
| 36 | warning=!record 1 of comsDir/warning |
||
| 37 | warning=!trim $warning |
||
| 38 | |||
| 39 | |||
| 40 | #------------------------------------------ |
||
| 41 | # redirection vers le répertoire approprié | |
||
| 42 | #------------------------------------------ |
||
| 43 | !if $exo>3 |
||
| 44 | demo=oui |
||
| 45 | exo=$[$exo-3] |
||
| 46 | !endif |
||
| 47 | |||
| 48 | prefixdir=Dirtyp$(exo) |
||
| 49 | !read $prefixdir/init |