timer_stopped


Description:

public signal void timer_stopped (DateTime start_time, uint runtime)