Rev 17438 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 17438 | Rev 17529 | ||
---|---|---|---|
Line 28... | Line 28... | ||
28 | !default font=0 |
28 | !default font=0 |
29 | !set arg=!nospace $texsize 1 |
29 | !set arg=!nospace $texsize 1 |
30 | 30 | ||
31 | !let useropt2=!char 3 to -1 of $useropts |
31 | !let useropt2=!char 3 to -1 of $useropts |
32 | !if $useropts!=$empty and $wims_realuser!=$empty |
32 | !if $useropts!=$empty and $wims_realuser!=$empty |
33 | !readproc adm/class/userdef classes,$wims_class,$wims_realuser |
33 | !readproc adm/class/userdef classes,$wims_class,$wims_realuser |
34 | !setdef !set user_opts=$useropts in $userdef |
34 | !setdef !set user_opts=$useropts in $userdef |
35 | !setdef wims_useropts=$useropts in wimshome/$wims_sesdir/var.stat |
35 | !setdef wims_useropts=$useropts in wimshome/$wims_sesdir/var.stat |
36 | !endif |
36 | !endif |
37 | 37 |