Broken: 'Push to exit' sign

When leaving the swim centre in Christchurch (NZ) you are confronted by this sign. I wonder what it is that you push to exit, the gate, the green button or the red button?