From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8893269a4640c798
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-23 18:47:39 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-xit-08!supernews.com!news-out.visi.com!petbe.visi.com!newshosting.com!news-xfer2.atl.newshosting.com!diablo.voicenet.com!c03.atl99!rip!news.webusenet.com!peer01.cox.net!cox.net!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny02.gnilink.net.POSTED!53ab2750!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.5a) Gecko/20030708 Thunderbird/0.1a
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: terminate applications
References: <mailman.18.1058521718.24167.comp.lang.ada@ada.eu.org>
 <FlQRa.89768$H17.28202@sccrnsc02> <3F17DF3C.4080204@noplace.com>
 <KcURa.91888$H17.28020@sccrnsc02> <3F196773.2060809@noplace.com>
 <3F19F86C.9050808@attbi.com> <3F1A772F.9060708@noplace.com>
 <3F1AD6FB.8080806@attbi.com> <3F1BD666.6040506@noplace.com>
 <3F1C4DA6.3070405@attbi.com> <3F1D29E8.60107@noplace.com>
 <Pine.LNX.4.44.0307221421270.25598-100000@localhost.localdomain>
 <3F1D2FDC.1070402@noplace.com>
 <Pine.LNX.4.44.0307221518190.26977-100000@localhost.localdomain>
 <3F1DC75A.5050300@noplace.com> <87oezm9lar.fsf@inf.enst.fr>
 <3F1E7E1E.8090302@noplace.com> <vhu27v687nsdc8@corp.supernews.com>
In-Reply-To: <vhu27v687nsdc8@corp.supernews.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <YUGTa.22178$0F4.4025@nwrdny02.gnilink.net>
Date: Thu, 24 Jul 2003 01:47:36 GMT
NNTP-Posting-Host: 162.83.157.195
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny02.gnilink.net 1059011256 162.83.157.195 (Wed,
 23 Jul 2003 21:47:36 EDT)
NNTP-Posting-Date: Wed, 23 Jul 2003 21:47:36 EDT
Xref: archiver1.google.com comp.lang.ada:40742
Date: 2003-07-24T01:47:36+00:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:
> Finalization is the key to building maintainable abstractions, and we simply
> cannot allow cases in which that finalization does not happen.

But that's not really under your control. In Windows or UNIX, there are
ways to immediately kill a program from the outside, regardless of what
the program would prefer. And these services are available to a program
that wishes to invoke them, even on itself. So you don't gain anything
by making believe that such a thing does not exist, and you get in the
way of the programmer who has a perfectly good reason for wanting to do
it.