Rev 9567 | Rev 9992 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9567 | Rev 9571 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | usercnt=!recordcnt wimshome/log/classes/$wims_class/.userlist |
1 | usercnt=!recordcnt wimshome/log/classes/$wims_class/.userlist |
2 | tooltip_parm=FONTSIZE,'11pt',ABOVE,'true' |
2 | tooltip_parm=FONTSIZE,'11pt',ABOVE,'true' |
3 | 3 | ||
4 | !! add for varfilter |
4 | !! add for varfilter |
5 | !if $wims_user=supervisor |
5 | !if $wims_user=supervisor |
6 | !if $varfilter=$empty and $wims_user=supervisor |
- | |
7 | varfilter=!record 0 of wimshome/s2/$wims_session/varfilter |
- | |
8 | !else |
- | |
9 | !writefile wimshome/s2/$wims_session/varfilter $varfilter |
- | |
10 | !endif |
- | |
11 | !if $varfilter!=$empty |
- | |
12 | !reset varfilter_ |
- | |
13 | !set varfilter_cnt=!linecnt $varfilter |
- | |
14 |
|
6 | !readproc adm/varfilter proc |
15 | var_line=!singlespace $(varfilter[$v;]) |
- | |
16 | var_line =!replace $ $ by , in $var_line |
- | |
17 | varfilter_=!append line $var_line to $varfilter_ |
- | |
18 | !next v |
- | |
19 | !endif |
- | |
20 | !endif |
7 | !endif |
21 | 8 | ||
22 | 9 | ||
23 | userlist=$empty |
10 | userlist=$empty |
24 | !! ------------ make of skill exercice contribution |
11 | !! ------------ make of skill exercice contribution |