Rev 10432 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2544 | bpr | 1 | !!@#language independant |
2 | !if $wims_developer=$empty |
||
3 | login=!word 1 of $login |
||
4 | passwd=!word 1 of $passwd |
||
5 | !if $login=$empty or $passwd=$empty |
||
6 | !if $login$passwd!=$empty |
||
7 | error=bad_auth |
||
8 | !endif |
||
9 | login= |
||
10 | !exit |
||
11 | !endif |
||
12 | wims_developer=$login |
||
13 | !read adm/getdeveloper |
||
14 | !if $dv_tit= |
||
15 | login= |
||
16 | wims_developer= |
||
17 | passwd= |
||
18 | !exit |
||
19 | !else |
||
20 | passwc=!passcrypt $passwd |
||
21 | pp=!passcrypt $dv_ps |
||
22 | !if $pp=$passwc |
||
23 | auth_login=$dv_tit |
||
24 | auth_passwd=$pp |
||
25 | auth_name=$dv_name |
||
26 | auth_email=$dv_email |
||
27 | wims_module_log=auth $login |
||
28 | sesdir=!translate internal _ to $ $ in $wims_sesdir |
||
29 | sesdir=!word 1 of $sesdir |
||
30 | !setdef wims_developer=$login in wimshome/$sesdir/var.stat |
||
31 | !setdef wims_name=$auth_name in wimshome/$sesdir/var.stat |
||
32 | !setdef wims_email=$auth_email in wimshome/$sesdir/var.stat |
||
33 | !if $wims_class!=$empty and $wims_user!=$empty |
||
34 | !setdef !set wims_developer=$login,$pp in $userdef |
||
35 | !endif |
||
36 | devdir=modules/devel/$auth_login |
||
37 | savedpasswd=$pp |
||
38 | savedlogin=$auth_login |
||
39 | !else |
||
40 | wims_developer= |
||
41 | !endif |
||
42 | !endif |
||
43 | !endif |