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