Skip to content

Commit

Permalink
DO NOT MERGE
Browse files Browse the repository at this point in the history
Temporarily make registry logs noisier to make them visible on root.
  • Loading branch information
kfindeisen committed Aug 9, 2024
1 parent 81229db commit f697414
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions python/activator/repo_registry.py
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ def init_registry(self):
"""
with open(self._REGISTRY_FILE, mode="x", opener=self._open_blocking) as f:
self._write_registry(f, {})
_log.info("Local repo registry is ready for use.")
_log.warning("Local repo registry is ready for use.")

def cleanup_registry(self):
"""Remove the registry and delete all state.
Expand All @@ -81,7 +81,7 @@ def cleanup_registry(self):
os.remove(self._REGISTRY_FILE)
except FileNotFoundError:
pass
_log.info("Local repo registry has been cleaned up.")
_log.warning("Local repo registry has been cleaned up.")

@staticmethod
def _open_blocking(path: str, flags: int, *args, **kwargs) -> int:
Expand Down Expand Up @@ -232,7 +232,7 @@ def pop(self, pid: int) -> str:
self._write_registry(f, registry)
except KeyError:
raise ValueError(f"No known repository for process {pid}.")
_log.info("Unregistered %s from process %d.", repo, pid)
_log.warning("Unregistered %s from process %d.", repo, pid)
return repo

def get_owner(self, repo: str) -> int:
Expand Down

0 comments on commit f697414

Please sign in to comment.