graphics/DebugDataConsumer.py
changeset 1737 a39c2918c015
parent 1736 7e61baa047f0
child 1749 d73b64672238
equal deleted inserted replaced
1736:7e61baa047f0 1737:a39c2918c015
    72     # if no greater non-null values are available. This variable is used to
    72     # if no greater non-null values are available. This variable is used to
    73     # inhibit formatting until a non-null value is found
    73     # inhibit formatting until a non-null value is found
    74     not_null = False
    74     not_null = False
    75 
    75 
    76     for val, format in [
    76     for val, format in [
    77             (int(microseconds) / DAY, "%dd"),                # Days
    77             (int(microseconds) / DAY, "%dd"),                 # Days
    78             ((int(microseconds) % DAY) / HOUR, "%dh"),       # Hours
    78             ((int(microseconds) % DAY) / HOUR, "%dh"),        # Hours
    79             ((int(microseconds) % HOUR) / MINUTE, "%dm"),    # Minutes
    79             ((int(microseconds) % HOUR) / MINUTE, "%dm"),     # Minutes
    80             ((int(microseconds) % MINUTE) / SECOND, "%ds")]: # Seconds
    80             ((int(microseconds) % MINUTE) / SECOND, "%ds")]:  # Seconds
    81 
    81 
    82         # Add value to TIME literal if value is non-null or another non-null
    82         # Add value to TIME literal if value is non-null or another non-null
    83         # value have already be found
    83         # value have already be found
    84         if val > 0 or not_null:
    84         if val > 0 or not_null:
    85             data += format % val
    85             data += format % val