Rev 14460 | Rev 16615 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 14460 | Rev 14868 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | !set wims_backslash_insmath=yes |
1 | !set wims_backslash_insmath=yes |
2 | # basic variable preparation. |
2 | # basic variable preparation. |
3 | !if robot isin $session |
3 | !if robot isin $session |
4 | !exit |
4 | !exit |
5 | !endif |
5 | !endif |
- | 6 | !set tmp=!defof classification_open\ |
|
- | 7 | allowed_optional_module in wimshome/log/wims.conf |
|
6 |
|
8 | !distribute line $tmp into classification_open,wims_allowed_optional_module |
- | 9 | !reset tmp |
|
7 | !if $classification_open=yes |
10 | !if $classification_open=yes |
- | 11 | !set tmp=wims_classification_open=yes |
|
- | 12 | !endif |
|
- | 13 | !if $wims_allowed_optional_module!=$empty |
|
- | 14 | !set tmp=!append line wims_allowed_optional_module=$wims_allowed_optional_module to $tmp |
|
- | 15 | !endif |
|
- | 16 | !if $tmp!=$empty |
|
8 | !setdef |
17 | !setdef $tmp in wimshome/sessions/$wims_session/var.stat |
9 | !endif |
18 | !endif |
10 | !if $wims_user=supervisor or $wims_supconnectshowed=yes |
19 | !if $wims_user=supervisor or $wims_supconnectshowed=yes |
11 | !readproc adm/whoconnect |
20 | !readproc adm/whoconnect |
12 | !endif |
21 | !endif |
13 | 22 |