equal
deleted
inserted
replaced
1440 if ":" in locker: |
1440 if ":" in locker: |
1441 host, pid = locker.split(':') |
1441 host, pid = locker.split(':') |
1442 if host == socket.gethostname(): |
1442 if host == socket.gethostname(): |
1443 locker = 'user %s, process %s' % (user or b'None', pid) |
1443 locker = 'user %s, process %s' % (user or b'None', pid) |
1444 else: |
1444 else: |
1445 locker = 'user %s, process %s, host %s' \ |
1445 locker = ('user %s, process %s, host %s' |
1446 % (user or b'None', pid, host) |
1446 % (user or b'None', pid, host)) |
1447 ui.write(("%-6s %s (%ds)\n") % (name + ":", locker, age)) |
1447 ui.write(("%-6s %s (%ds)\n") % (name + ":", locker, age)) |
1448 return 1 |
1448 return 1 |
1449 except OSError as e: |
1449 except OSError as e: |
1450 if e.errno != errno.ENOENT: |
1450 if e.errno != errno.ENOENT: |
1451 raise |
1451 raise |