Русско-английский научно-технический словарь
см. тж. гасить дугу
• At the end of the run the "stop" push button is pressed which extinguishes (or puts out, or quenches) the arc.