summaryrefslogtreecommitdiff
path: root/Omni/Repl.py
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2025-11-12 21:20:07 -0500
committerBen Sima <ben@bsima.me>2025-11-13 11:20:14 -0500
commitc018d2dd1d7e7f1cc19b25f6ec74b3dec44ae9b9 (patch)
treea8c0748068f00449bd175aa953eb1acd7027fa65 /Omni/Repl.py
parent2ad3efe73fbd5df58ae77ec411121575547f0e11 (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-xOmni/Repl.py5
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")