chiark / gitweb /
button: don't exit if we cannot handle a button press