From: mario.blunk.gplus@gmail.com
Subject: Re: how to read status of current_output
Date: Wed, 6 Jun 2018 00:12:37 -0700 (PDT)
Date: 2018-06-06T00:12:37-07:00 [thread overview]
Message-ID: <c802c25b-473f-4a6d-a431-2f420374b8e8@googlegroups.com> (raw)
In-Reply-To: <d2f04e92-b93e-4514-8fd1-a8b049727f73@googlegroups.com>
On Tuesday, June 5, 2018 at 1:44:48 PM UTC+2, AdaMagica wrote:
> There is File_Access you could use.
> Or Name(Standard_Output), which is a string.
Thanks that does the job well. I wrote:
if name (current_output) = name (handle_2) then ...
Thanks !
next prev parent reply other threads:[~2018-06-06 7:12 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-05 9:54 how to read status of current_output mario.blunk.gplus
2018-06-05 11:44 ` AdaMagica
2018-06-06 7:12 ` mario.blunk.gplus [this message]
2018-06-05 17:24 ` G. B.
2018-06-06 7:14 ` mario.blunk.gplus
2018-06-06 11:01 ` Marius Amado-Alves
2018-06-06 17:20 ` mario.blunk.gplus
2018-06-06 20:28 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox