hgext/relink.py
changeset 20083 c69e5911888d
parent 18825 f0564402d059
child 21252 da0eb4970913
equal deleted inserted replaced
20082:b04cc8651a63 20083:c69e5911888d
    45                                           origin or 'default'))
    45                                           origin or 'default'))
    46     ui.status(_('relinking %s to %s\n') % (src.store.path, repo.store.path))
    46     ui.status(_('relinking %s to %s\n') % (src.store.path, repo.store.path))
    47     if repo.root == src.root:
    47     if repo.root == src.root:
    48         ui.status(_('there is nothing to relink\n'))
    48         ui.status(_('there is nothing to relink\n'))
    49         return
    49         return
       
    50 
       
    51     if not util.samedevice(src.store.path, repo.store.path):
       
    52         # No point in continuing
       
    53         raise util.Abort(_('source and destination are on different devices'))
    50 
    54 
    51     locallock = repo.lock()
    55     locallock = repo.lock()
    52     try:
    56     try:
    53         remotelock = src.lock()
    57         remotelock = src.lock()
    54         try:
    58         try: