def push(self, message): new_uri = None for source_message in file_registry.get(message.data['uid'], []): request_push(source_message, publisher=None, **self._attrs) destination = urlparse(self._attrs['destination']).path new_uri = os.path.join(destination, message.data['uid']) if os.path.exists(new_uri): break if new_uri is None: raise KeyError('No source message found for %s', str(message.data['uid'])) message.data['uri'] = new_uri return RequestManager.push(self, message)
def __init__(self, *args, **kwargs): RequestManager.__init__(self, *args, **kwargs) self._deleter = MirrorDeleter()
def __init__(self, port, attrs): """Set up this mirror request manager.""" RequestManager.__init__(self, port, attrs) self._deleter = MirrorDeleter(attrs)