Thermador PRSE grill igniter

Can anyone tell me if the grill igniter is supposed to stay lit or go out after the grill lights?