Hello Miguel. Your contribution has been pushed to SF branch dev_1.3.
Regards, Pascal. http://blady.pagesperso-orange.fr > Le 19 juin 2017 à 18:34, Miguel Angel Olivan <maoli...@fcirce.es> a écrit : > > 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>------------------------------------------------------------------------------ > 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
