Many thanks Pascal, I agree with you, it is way better to allow automatic flush and default it to false. I send the complete patch for your consideration.
Thanks again for your gnoga work! Best regards Miguel -----Mensaje original----- De: Pascal via Gnoga-list [mailto:gnoga-list@lists.sourceforge.net] Enviado el: sábado, 17 de junio de 2017 9:58 Para: Gnoga support list <gnoga-list@lists.sourceforge.net> CC: Pascal <blady-...@users.sf.net> Asunto: Re: [Gnoga-list] Gnoga logging feature Thanks Miguel for contributing, I propose you to add to Log an optional flag for flushing with default false. Regards, Pascal. http://blady.pagesperso-orange.fr > Le 8 juin 2017 à 15:21, Miguel Angel Olivan <maoli...@fcirce.es> a écrit : > > Dear gnoga folks, > > I’m a new (and happy!) user of gonga. I was trying to complete a program with > a proper logging system trying to take advantage of the already implemented > gnoga.Log procedure and redirecting the default logging to a file. > > I had a surprise. I tried to use Log_To_File procedure in order to > redirect the program output to a file but this file insisted in being > empty. I tried to find an explanation and digging into Ada.Text_IO > docs (I’m a complete beginner ADA programmer) and I found the > Ada.Text_IO.Flush. I called it before the Ada.Text_IO and worked like > a charm… I wasn’t aware about the buffered nature of Ada.Text_IO… > (Thanks, David) > > So, I have some doubts: > > * Is anyone using Log_To_File procedure? The log doesn’t grow > automatically and there is no access to the file in order to flush it. > Maybe all users redirect the stdout to a file… > * The output using Log_To_File is uglier without the preceding time/date. > > I have made some gnoga modifications that seem convenient to me and I share > with you. The aim is to allow flushing the log file (by using a new > gnoga.Flush_Log procedure) and beautify the output using the same string used > in the stdout counterpart. > > I feel that I need to use a proper logging and register the possible internal > gnoga messages. > > What logging approach would you recommend to me? Should I flush every > gnoga.Log call? Any thoughs? > > Best regards, > > Miguel Ángel Oliván > Fundación Circe > http://www.fcirce.es/ > > <Flush-Log-file-and-homogenize-log-output.patch>---------------------- > -------------------------------------------------------- > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! > http://sdm.link/slashdot______________________________________________ > _ > Gnoga-list mailing list > Gnoga-list@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/gnoga-list ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Gnoga-list mailing list Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list
Allow-flush-log-file-in-automatic-or-manual-modes.patch
Description: Binary data
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ Gnoga-list mailing list Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list
