graphics/DebugDataConsumer.py
changeset 1839 a2324624e516
parent 1831 56b48961cc68
child 1881 091005ec69c4
equal deleted inserted replaced
1838:646245c1c0d9 1839:a2324624e516
    46     @return: Time duration expressed in microsecond
    46     @return: Time duration expressed in microsecond
    47     """
    47     """
    48     return float(value.days * DAY +
    48     return float(value.days * DAY +
    49                  value.seconds * SECOND +
    49                  value.seconds * SECOND +
    50                  value.microseconds)
    50                  value.microseconds)
    51     return
       
    52 
    51 
    53 
    52 
    54 def generate_time(value):
    53 def generate_time(value):
    55     """
    54     """
    56     Function converting time duration expressed in day, second and microseconds
    55     Function converting time duration expressed in day, second and microseconds