When was it that gasoline pump hose nozzles had automatic cut offs when your tank was full? also by what means?

does that gadget detect a full tank and cut off before it overflowes and splashes out?