Rev 2497 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2497 | Rev 14839 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | !bound job2 within first,mod1,mod2,del1,del2,pub\ |
1 | !bound job2 within first,mod1,mod2,del1,del2,pub\ |
2 | default $ |
2 | default $ |
3 | 3 | ||
4 | devcnt=!recordcnt wimshome/log/.developers |
4 | devcnt=!recordcnt wimshome/log/.developers |
5 | !for d=1 to $devcnt |
5 | !for d=1 to $devcnt |
6 | drec$d=!record $d of wimshome/log/.developers |
6 | drec$d=!record $d of wimshome/log/.developers |
7 | d_=!word 1 of $(drec$d) |
7 | d_=!word 1 of $(drec$d) |
8 | devlist=$devlist $d_ |
8 | devlist=$devlist $d_ |
9 | !next d |
9 | !next d |
10 | !bound devno between integer 0 and $devcnt default 0 |
10 | !bound devno between integer 0 and $devcnt default 0 |
11 | 11 | ||
12 | !if $job2=pub |
12 | !if $job2=pub |
13 | dp=!items2words $devpublisher |
13 | dp=!items2words $devpublisher |
14 | dp=!words2items $dp |
14 | dp=!words2items $dp |
15 | !sh echo "$dp" >$wims_home/log/.devpublishers |
15 | !sh echo "$dp" >$wims_home/log/.devpublishers |
16 | job2=first |
16 | job2=first |
17 | !endif |
17 | !endif |
18 | 18 | ||
19 | devpublisher=!record 0 of wimshome/log/.devpublishers |
19 | devpublisher=!record 0 of wimshome/log/.devpublishers |
20 | 20 | ||
21 | !read developer/$job2.proc |
21 | !read developer/$job2.proc |
22 | - |