Subversion Repositories wimsdev

Rev

Rev 14839 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 14839 Rev 16887
Line 7... Line 7...
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 
dlist=!record 0 to -1 of wimshome/log/.developers
12 
!if $job2=pub
 13 
!if $job2=pub
13 
  dp=!items2words $devpublisher
 14 
  dp=!items2words $devpublisher
14 
  dp=!words2items $dp
 15 
  dp=!words2items $dp
- 
 
 16 
  !for dp_ in $dp
- 
 
 17 
    !if :$dp_ notin :$dlist
- 
 
 18 
      !set dp=!listcomplement $dp_ in $dp
- 
 
 19 
      error=bad_devpub
- 
 
 20 
    !endif
- 
 
 21 
  !next
15 
  !sh echo "$dp" >$wims_home/log/.devpublishers
 22 
  !sh echo "$dp" >$wims_home/log/.devpublishers
16 
  job2=first
 23 
  job2=first
17 
!endif
 24 
!endif
18 
 
 25 
 
19 
devpublisher=!record 0 of wimshome/log/.devpublishers
 26 
devpublisher=!record 0 of wimshome/log/.devpublishers