How does a gas nozzle know when to shut off?