Rev 20 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 20 | Rev 15317 | ||
---|---|---|---|
Line 1... | Line -... | ||
1 | - | ||
2 | !if $wims_developer= |
1 | !if $wims_developer= |
3 | !exit |
2 | !exit |
4 | !endif |
3 | !endif |
5 | 4 | ||
6 | dv_def=wimshome/log/.developers |
5 | dv_def=wimshome/log/.developers |
7 | dv_cnt=!recordcnt $dv_def |
6 | dv_cnt=!recordcnt $dv_def |
8 | 7 | ||
9 | !for i=1 to $dv_cnt |
8 | !for i=1 to $dv_cnt |
10 | dv_r=!record $i of $dv_def |
9 | dv_r=!record $i of $dv_def |
11 | !distribute lines $dv_r into dv_tit, dv_ps, dv_name,dv_email |
10 | !distribute lines $dv_r into dv_tit, dv_ps, dv_name,dv_email |
12 | !if $dv_tit=$wims_developer |
11 | !if $dv_tit=$wims_developer |
13 | !break |
12 | !break |
14 | !endif |
13 | !endif |
15 | !reset dv_tit, dv_ps, dv_name, dv_email |
14 | !reset dv_tit, dv_ps, dv_name, dv_email |
16 | !next i |
15 | !next i |
17 | - |