Searched refs:LOCK_HEADER (Results 1 – 1 of 1) sorted by relevance
304 LOCK_HEADER = """\ variable350 echo(LOCK_HEADER.format(options=" ".join(header_options)))