Method formatTime

code/logsetup.py:16–36

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 implementa

(self, record: logging.LogRecord, datefmt: Optional[str] = None)

    """

    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:
    """