Industrial gas detector