set_trace_directory


Description:

public void set_trace_directory (File? trace_directory)