From: Ralph Corderoy <ralph@inputplus.co.uk>
Date: Sat, 10 Dec 2016 14:19:43 +0000 (+0000)
Subject: Document that adios() does not return.  abort() ensures it won't.
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/0b45ebe59218793491ac1091a49fb00c2e1a331f?hp=0b45ebe59218793491ac1091a49fb00c2e1a331f

Document that adios() does not return.  abort() ensures it won't.

Discussion with David confirmed that adios()'s de facto contract with
the caller is that it won't return.  Document that, and add an abort(3)
to ensure it won't occur.  Better that than return and blunder on until
a SEGV or corruption later.
---