GPIO.INT_EDGE_ANY does not work for GPIO.set_button_handler

  1. My goal is: to be able to use INT_EDGE_ANY for set_button_handler

  2. My actions are:
    GPIO.set_button_handler(cPin, GPIO.PULL_UP, GPIO.INT_EDGE_ANY, 200, publishTelemetry, null);

  3. The result I see is: the callback handler does not get called

  4. My expectation & question is: the code for set_button_handler does not check for INT_EDGE_ANY, only INT_EDGE_POS and INT_EDGE_NEG. Is there any reason for this? as under the hood it uses mgos_gpio_set_int_handler which supports INT_EDGE_ANY

GPIO.set_button_handler with GPIO.INT_EDGE_ANY is not supported: https://gitter.im/cesanta/mongoose-os?at=5bdb38c26eb1e3597a94bbfb and https://github.com/cesanta/mongoose-os/issues/424

thanks, it makes sense now.