]> granicus.if.org Git - pdns/commitdiff
projects / pdns / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 441c246 dc38624)
Merge pull request #5917 from ahupowerdns/die-better
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Tue, 7 Nov 2017 20:30:25 +0000 (21:30 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 20:30:25 +0000 (21:30 +0100)
use _exit() when we really really want to exit, for example after a fatal error


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.