From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Smart to put "Flush(myfile)" before "Close(myfile") ? Date: Tue, 26 Jan 2021 09:01:13 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <3202e725-c65b-4937-967b-1efeb291e864n@googlegroups.com> NNTP-Posting-Host: 5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.6.1 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:61202 List-Id: On 2021-01-26 06:30, reinert wrote: > OBS, me in a state of confusion: I made the original question since the end part of a file were lost (Flush helped to avoid). > However, I now discovered that the actual file sometimes were not closed :-) This is what Flush is for. E.g. if you have some trace or log file which never gets officially closed. Flush sets the file end. Anyway, you triggered me to find the bug :-) You can wrap File_Type in a controlled type to ensure Close called from the Finalize. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de