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