diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-12 21:20:07 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-13 11:20:14 -0500 |
| commit | c018d2dd1d7e7f1cc19b25f6ec74b3dec44ae9b9 (patch) | |
| tree | a8c0748068f00449bd175aa953eb1acd7027fa65 /Omni/Repl.py | |
| parent | 2ad3efe73fbd5df58ae77ec411121575547f0e11 (diff) | |
Cleanup some logging setup code
I think the calls to Log.setup() were accidentally creating multiple
loggers, hopefully this fixes the problem.
Diffstat (limited to 'Omni/Repl.py')
| -rwxr-xr-x | Omni/Repl.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Omni/Repl.py b/Omni/Repl.py index d7d2fb4..49b6c1e 100755 --- a/Omni/Repl.py +++ b/Omni/Repl.py @@ -20,8 +20,8 @@ additional files to load. import importlib import importlib.util import inspect +import logging import mypy.api -import Omni.Log as Log import os import pathlib import pydoc @@ -33,7 +33,7 @@ import types import typing import unittest -LOG = Log.setup() +LOG = logging.getLogger(__name__) class ReplError(Exception): @@ -246,7 +246,6 @@ def test() -> None: def move() -> None: """Actual entrypoint.""" - Log.setup() ns = sys.argv[1] path = sys.argv[2] editor = os.environ.get("EDITOR", "$EDITOR") |
