]> _ Git - alire.git/commit
projects / alire.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a67a0d) | patch
Move the Alr.Main exception handler to a last chance handler (#442)
authorFabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Wed, 10 Jun 2020 15:25:07 +0000 (17:25 +0200)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 15:25:07 +0000 (17:25 +0200)
commit3340a7acff26413f967cd6909e1fc8b9cb1839ef
tree28dedc91e586c8b1f1302f2e77911cc0b7db8c59tree | snapshot
parent1a67a0d52f2e3fae9a44ee6c287bffd9eba93e9acommit | diff
Move the Alr.Main exception handler to a last chance handler (#442)

* Move the Alr.Main exception handler to a last chance handler

This way the exceptions raised during elaboration will also be caught.

#441

* Alr.Main: restore an exception handler to catch after elaboration

Relying only on the __gnat_last_chance_handler means that an extra backtrace
is printed by the GNAT run-time (with Notify_Unhandled_Exception).
src/alr/alr-main.adb diff | blob | history
src/alr/last_chance_handler.adb [new file with mode: 0644] blob
src/alr/last_chance_handler.ads [new file with mode: 0644] blob
Fork of https://github.com/alire-project/alire to add shell-style quoting (pull request: https://github.com/alire-project/alire/pull/1993)