no more trouble when switching maps in headless mode.

If a button was pressed in the last 4 seconds we ignore settings distributed by the
headless server.