david gauchard 3cc64f7877 Fix raise_exception() (#6288) ...

* workaround when an exceptin occurs while in an ISR

* tuning for gdb

* remove dead code and rename defines/variables

* per reviews: naming, handle "unhandled return" case

* fix reset message

2019-07-15 15:34:45 -07:00

..

esp8266

Fix raise_exception() (#6288)

2019-07-15 15:34:45 -07:00