mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-22 08:22:04 +03:00
Make exceptions a configurable menu (#5434)
* Make exceptions a configurable menu Add a menu, Exceptions, which allows exceptions to be disabled for ROM sensitive scripts. Default is enabled. * Update to latest JSON builder
This commit is contained in:
committed by
Develo
parent
aacc6edf69
commit
e44bcfe8e4
@ -155,6 +155,9 @@ extern void __unhandled_exception(const char *str);
|
||||
|
||||
static void __unhandled_exception_cpp()
|
||||
{
|
||||
#ifndef __EXCEPTIONS
|
||||
abort();
|
||||
#else
|
||||
static bool terminating;
|
||||
if (terminating)
|
||||
abort();
|
||||
@ -167,6 +170,7 @@ static void __unhandled_exception_cpp()
|
||||
} catch (...) {
|
||||
__unhandled_exception( "" );
|
||||
}
|
||||
#endif
|
||||
}
|
||||
|
||||
}
|
||||
|
Reference in New Issue
Block a user