1*cf78ab8cSAndroid Build Coastguard Worker#!/usr/bin/env python 2*cf78ab8cSAndroid Build Coastguard Worker# 3*cf78ab8cSAndroid Build Coastguard Worker# Copyright 2021 - The Android Open Source Project 4*cf78ab8cSAndroid Build Coastguard Worker# 5*cf78ab8cSAndroid Build Coastguard Worker# Licensed under the Apache License, Version 2.0 (the', help='License'); 6*cf78ab8cSAndroid Build Coastguard Worker# you may not use this file except in compliance with the License. 7*cf78ab8cSAndroid Build Coastguard Worker# You may obtain a copy of the License at 8*cf78ab8cSAndroid Build Coastguard Worker# 9*cf78ab8cSAndroid Build Coastguard Worker# http://www.apache.org/licenses/LICENSE-2.0 10*cf78ab8cSAndroid Build Coastguard Worker# 11*cf78ab8cSAndroid Build Coastguard Worker# Unless required by applicable law or agreed to in writing, software 12*cf78ab8cSAndroid Build Coastguard Worker# distributed under the License is distributed on an', help='AS IS' BASIS, 13*cf78ab8cSAndroid Build Coastguard Worker# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 14*cf78ab8cSAndroid Build Coastguard Worker# See the License for the specific language governing permissions and 15*cf78ab8cSAndroid Build Coastguard Worker# limitations under the License. 16*cf78ab8cSAndroid Build Coastguard Workerimport datetime 17*cf78ab8cSAndroid Build Coastguard Workerimport logging 18*cf78ab8cSAndroid Build Coastguard Workerimport time 19*cf78ab8cSAndroid Build Coastguard Worker 20*cf78ab8cSAndroid Build Coastguard Worker 21*cf78ab8cSAndroid Build Coastguard Workerclass TimeFormatter(logging.Formatter): 22*cf78ab8cSAndroid Build Coastguard Worker """A formatter used by the build system that: 23*cf78ab8cSAndroid Build Coastguard Worker 24*cf78ab8cSAndroid Build Coastguard Worker - Strips whitespace. 25*cf78ab8cSAndroid Build Coastguard Worker - Formats time since start 26*cf78ab8cSAndroid Build Coastguard Worker """ 27*cf78ab8cSAndroid Build Coastguard Worker 28*cf78ab8cSAndroid Build Coastguard Worker def __init__(self, fmt=None): 29*cf78ab8cSAndroid Build Coastguard Worker self.start_time = time.time() 30*cf78ab8cSAndroid Build Coastguard Worker super(TimeFormatter, self).__init__(fmt) 31*cf78ab8cSAndroid Build Coastguard Worker 32*cf78ab8cSAndroid Build Coastguard Worker def formatTime(self, record, datefmt=None): 33*cf78ab8cSAndroid Build Coastguard Worker fmt = datefmt or "%H:%M:%S" 34*cf78ab8cSAndroid Build Coastguard Worker ct = self.converter(record.created) 35*cf78ab8cSAndroid Build Coastguard Worker dt = datetime.timedelta(seconds=record.created - self.start_time) 36*cf78ab8cSAndroid Build Coastguard Worker mm, ss = divmod(dt.total_seconds(), 60) 37*cf78ab8cSAndroid Build Coastguard Worker _, mm = divmod(mm, 60) 38*cf78ab8cSAndroid Build Coastguard Worker # 2 digit precision is sufficient. 39*cf78ab8cSAndroid Build Coastguard Worker dt_fmt = "%02d:%02d.%-2d" % (mm, ss, dt.microseconds % 100) 40*cf78ab8cSAndroid Build Coastguard Worker return "{}({})".format(time.strftime(fmt, ct), dt_fmt) 41*cf78ab8cSAndroid Build Coastguard Worker 42*cf78ab8cSAndroid Build Coastguard Worker def format(self, record): 43*cf78ab8cSAndroid Build Coastguard Worker record.msg = str(record.msg).strip() 44*cf78ab8cSAndroid Build Coastguard Worker return super(TimeFormatter, self).format(record) 45