get_trace_directory


Description:

public unowned File? get_trace_directory ()

Gets the value of the trace_directory property.

Parameters:

this

a Server

Returns:

the directory to load/store trace files from, or null