def execution_time_stored():
        """Store execution time of "with block".

        Also triggers the saving of such data when it
        reaches a predefined quantity.
        """
        ### store the start time
        start = current_time_func()

        ### yield so we enter the "with block"
        yield

        ### store difference between current and start time
        intervals.append(current_time_func() - start)

        ### save intervals if the predefined quantity is
        ### reached

        if len(intervals) == quantity_at_which_to_save:

            save_intervals(intervals, filepath, profiling_title, solution_title)
Store execution time of "with block".

        Also triggers the saving of such data when it
        reaches a predefined quantity.
        
nodezator/ourstdlibs/profileutils.py