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