Comment by hamandcheese

I'm pretty sure the sensor for that is a simple reed switch.