Fixup to LocalRepoRegistry

python/activator/repo_registry.py

@@ -231,7 +231,7 @@ def pop(self, pid: int) -> str:
                 repo = registry.pop(pid)
                 self._write_registry(f, registry)
             except KeyError:
-                raise ValueError(f"No known repository for {pid}.")
+                raise ValueError(f"No known repository for process {pid}.")
         _log.info("Unregistered %s from process %d.", repo, pid)
         return repo