Searched refs:SERVER_CONTROL_FILENAME (Results 1 – 1 of 1) sorted by relevance
79 SERVER_CONTROL_FILENAME = 'control.srv' variable255 control_filename=SERVER_CONTROL_FILENAME,