-
Type: Improvement
-
Resolution: Done
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Internal Code
-
None
-
Fully Compatible
-
Platform 2 04/24/15
Also, modify the catch(...) handler a bit (call std::terminate()?)