Searched refs:TRACE_FILE_EXTENSION (Results 1 – 1 of 1) sorted by relevance
46 TRACE_FILE_EXTENSION = '.cmd' # same as in ear.c variable159 target_file_name = str(os.getpid()) + TRACE_FILE_EXTENSION