| changeset 8020 | 777a9efdae2d |
| parent 8018 | 8985e1daa7f5 |
| child 8021 | 1c2cf2e5dc9b |
| 8019:af49e2d15e51 | 8020:777a9efdae2d |
|---|---|
1961 if miss: |
1961 if miss: |
1962 continue |
1962 continue |
1963 |
1963 |
1964 if opts['user']: |
1964 if opts['user']: |
1965 changes = get(rev) |
1965 changes = get(rev) |
1966 miss = 0 |
1966 if not [k for k in opts['user'] if k in changes[1]]: |
1967 for k in opts['user']: |
|
1968 if k != changes[1]: |
|
1969 miss = 1 |
|
1970 break |
|
1971 if miss: |
|
1972 continue |
1967 continue |
1973 |
1968 |
1974 copies = [] |
1969 copies = [] |
1975 if opts.get('copies') and rev: |
1970 if opts.get('copies') and rev: |
1976 for fn in get(rev)[3]: |
1971 for fn in get(rev)[3]: |