Rev 10586 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 10586 | Rev 17438 | ||
---|---|---|---|
Line 10... | Line 10... | ||
10 | !let module_level= |
10 | !let module_level= |
11 | !let module_domain=adm |
11 | !let module_domain=adm |
12 | !let module_keywords=wims |
12 | !let module_keywords=wims |
13 | !!INDEXEND |
13 | !!INDEXEND |
14 | 14 | ||
- | 15 | !if $useropts=$empty and $wims_useropts!=$empty and $wims_realuser!=$empty |
|
- | 16 | !set useropts=$wims_useropts |
|
15 | 17 | !endif |
|
16 | 18 | ||
17 | !let texsize=!char 1 of $useropts |
19 | !let texsize=!char 1 of $useropts |
18 | !let texalign=!char 2 of $useropts |
20 | !let texalign=!char 2 of $useropts |
19 | !let default=$[$wims_texbasesize-1] |
21 | !let default=$[$wims_texbasesize-1] |
20 | !default texsize=$default |
22 | !default texsize=$default |
Line 30... | Line 32... | ||
30 | !if $useropts!=$empty and $wims_realuser!=$empty |
32 | !if $useropts!=$empty and $wims_realuser!=$empty |
31 | !readproc adm/class/userdef classes,$wims_class,$wims_realuser |
33 | !readproc adm/class/userdef classes,$wims_class,$wims_realuser |
32 | !setdef !set user_opts=$useropts in $userdef |
34 | !setdef !set user_opts=$useropts in $userdef |
33 | !setdef wims_useropts=$useropts in wimshome/$wims_sesdir/var.stat |
35 | !setdef wims_useropts=$useropts in wimshome/$wims_sesdir/var.stat |
34 | !endif |
36 | !endif |
- | 37 |