Rev 15913 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 15913 | Rev 15960 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | # check validity of new value for techvar |
48 | # check validity of new value for techvar |
49 | wdon=$empty |
49 | wdon=$empty |
50 | !for k in $tv_listlocal |
50 | !for k in $tv_listlocal |
51 | !bound techval$(num_$k) within $(ltval_$k) default $(old_$k) |
51 | !bound techval$(num_$k) within $(ltval_$k) default $(old_$k) |
52 | wdon=!append line !set user_techvar_$(id_$k)=$(techval$(num_$k)) to $wdon |
52 | wdon=!append line !set user_techvar_$(id_$k)=$(techval$(num_$k)) to $wdon |
- | 53 | !if $(techval$(num_$k))!=$(old_$k) |
|
- | 54 | classlog=!append item ($(id_$k);$(old_$k);$(techval$(num_$k))) to $classlog |
|
- | 55 | !endif |
|
53 | old_$k=$(techval$(num_$k)) |
56 | old_$k=$(techval$(num_$k)) |
54 | !next k |
57 | !next k |
- | 58 | !if $classlog!=$empty |
|
55 | wdon=!replace internal _EMPTY_ by $empty in $wdon |
59 | wdon=!replace internal _EMPTY_ by $empty in $wdon |
56 | !setdef $wdon in $userdef |
60 | !setdef $wdon in $userdef |
- | 61 | wims_class_log=techvar change $user $classlog |
|
57 | !sh rm -f $wims_home/log/classes/$wims_class/score/$(user).bin; |
62 | !sh rm -f $wims_home/log/classes/$wims_class/score/$(user).bin; |
- | 63 | !endif |
|
58 | !reset tc_set |
64 | !reset tc_set |
59 | !endif |
65 | !endif |