Rev 12363 | Rev 12366 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 12363 | Rev 12364 | ||
---|---|---|---|
Line -... | Line 1... | ||
- | 1 | !if $seedrepeat<=0 |
|
- | 2 | !exit |
|
1 | 3 | !endif |
|
2 | !if $wims_user!=$empty and $wims_user!=supervisor |
4 | !if $wims_user!=$empty and $wims_user!=supervisor |
3 | !set seedlastcnt=!getseedlastcnt user=$wims_user sheet=$wims_sheet work=$wims_exo |
5 | !set seedlastcnt=!getseedlastcnt user=$wims_user sheet=$wims_sheet work=$wims_exo |
4 | !! find the number of distinct seeds (faire une fonction dans score.c ??) |
6 | !! find the number of distinct seeds (faire une fonction dans score.c ??) |
5 | !set seedcnt=!getseedscores user=$wims_user sheet=$wims_sheet work=$wims_exo |
7 | !set seedcnt=!getseedscores user=$wims_user sheet=$wims_sheet work=$wims_exo |
6 | !set seedcnt=!declosing $seedcnt |
8 | !set seedcnt=!declosing $seedcnt |
Line 8... | Line 10... | ||
8 | !set seedcnt=!itemcnt $seedcnt |
10 | !set seedcnt=!itemcnt $seedcnt |
9 | !else |
11 | !else |
10 | !set seedcnt=$wims_seedcnt |
12 | !set seedcnt=$wims_seedcnt |
11 | !set seedlastcnt=$wims_seedlastcnt |
13 | !set seedlastcnt=$wims_seedlastcnt |
12 | !endif |
14 | !endif |
- | 15 | !! |