Nikita Popov
75a04eac97
Make exit() unwind properly
...
exit() is now internally implemented by throwing an exception,
performing a normal stack unwind and a clean shutdown. This ensures
that no persistent resource leaks occur.
The exception is internal, cannot be caught and does not result in
the execution of finally blocks. This may be relaxed in the future.
Closes GH-5768.
2020-06-29 15:50:12 +02:00
..
2020-06-24 10:34:16 +02:00
2018-10-13 14:17:28 +02:00
2019-10-10 16:28:59 +03:00
2018-10-14 12:56:38 +02:00
2020-02-03 13:42:08 +01:00
2020-02-01 14:21:53 +01:00
2020-06-24 09:55:19 +02:00
2020-05-15 10:14:22 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2020-06-08 10:38:45 +02:00
2020-06-08 10:38:45 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-11-08 15:15:48 +01:00
2019-09-25 14:51:43 +02:00
2020-02-10 11:33:06 +01:00
2019-09-25 14:51:43 +02:00
2020-05-26 19:06:19 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-05-20 06:06:38 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2020-02-01 14:21:53 +01:00
2020-06-08 10:38:45 +02:00
2020-06-08 10:38:45 +02:00
2020-06-29 15:50:12 +02:00
2019-09-25 14:51:43 +02:00
2020-04-29 23:17:40 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2018-10-14 12:56:38 +02:00
2020-06-02 15:19:32 +02:00
2019-09-25 14:51:43 +02:00
2020-03-04 12:46:06 +01:00
2019-09-25 14:51:43 +02:00
2020-06-16 18:39:09 +02:00
2020-05-26 17:46:56 +02:00
2020-06-23 14:29:24 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-09-25 14:51:43 +02:00
2019-02-08 23:14:29 +01:00
2020-06-19 17:21:55 +02:00
2020-01-16 09:46:47 +01:00
2018-10-13 14:17:28 +02:00
2020-05-14 13:35:12 +02:00
2020-02-03 13:41:31 +01:00
2019-02-19 20:21:20 +01:00
2019-10-19 19:19:28 +02:00