Class CustomTimeFormatter

code/logsetup.py:7–36

A logging Formatter that displays timestamps as MM:SS.cs using local time. Inherits from `logging.Formatter` and overrides the `formatTime` method to provide a specific, concise timestamp format suitable for console output, using the local time zone derived from the log record's cr

# --- Define Custom Formatter to handle time locally ---
class CustomTimeFormatter(logging.Formatter):
    """
    A logging Formatter that displays timestamps as MM:SS.cs using local time.

    Inherits from `logging.Formatter` and overrides the `formatTime` method
    to provide a specific, concise timestamp format suitable for console output,
    using the local time zone derived from the log record's creation time.
    """

    def formatTime(self, record: logging.LogRecord, datefmt: Optional[str] = None) -> str:
        """
        Formats the log record's creation time into MM:SS.cs format.

        Uses `time.localtime` to convert the record's creation timestamp and
        formats it as minutes, seconds, and centiseconds. The `datefmt` argument
        provided by the base class is ignored in this custom implementation.

        Args:
            record: The log record whose creation time needs formatting.
            datefmt: An optional date format string (ignored by this method).

        Returns:
            A string representing the formatted time (e.g., "59:23.18").
        """
        # Use localtime as originally intended, but locally within this formatter
        now = time.localtime(record.created)
        cs = int((record.created % 1) * 100)  # centiseconds
        # Format the time string as required
        s = time.strftime("%M:%S", now) + f".{cs:02d}"
        return s

def setup_logging(level: int = logging.INFO) -> None:
    """