Ejemplos de PID.to_short_string en Python

Ejemplo n.º 1

    async def add_cache(self, name: str, pid: PID) -> bool:
        if name not in self._cache:
            key = pid.to_short_string()
            self._cache[name] = pid
            self._reverse_cache[key] = name

            await GlobalRootContext.send(self._watcher, WatchPidRequest(pid))
            return True
        return False

Ejemplo n.º 2

 def remove_cache_by_pid(self, pid: PID) -> None:
     key = pid.to_short_string()
     if key in self._reverse_cache:
         name = self._reverse_cache[key]
         del self._reverse_cache[key]
         del self._cache[name]