set_source_time

Description:

public void set_source_time (string source_id, int64 time)

Updates the time of source_id to time.

this	a App
source_id	a source id
time	the new time for the source, in microseconds