set_trace_directory


Description:

public void set_trace_directory (File? trace_directory)

Sets the value of the trace_directory property.

Parameters:

this

a Server

trace_directory

a directory to load/store trace files from, or null to unset it