[Cocci] coccilib.report.print_report Broken For Redirected STDOUT

[Cocci] coccilib.report.print_report Broken For Redirected STDOUT

[Michael Stefaniuc]

Hello!

coccilib.report.print_report is not producing any output when STDOUT is
redirected to a file or a pipe. I have attached a simple test case.

spatch cocciprint.cocci cocciprint.c
cocciprint.c:3:8-9: Printing Suceeded

spatch cocciprint.cocci cocciprint.c  > /tmp/nothing
wc -c /tmp/nothing
0 /tmp/nothing


thanks
bye
	michael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cocciprint.c
Type: text/x-csrc
Size: 42 bytes
Desc: not available
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20170211/5020f4c4/attachment.bin>
-------------- next part --------------
@r@
identifier i;
position p;
@@
 int i at p;


@ script:python @
p << r.p;
@@
coccilib.report.print_report(p[0], "Printing Suceeded")

[Cocci] coccilib.report.print_report Broken For Redirected STDOUT

[Julia Lawall]

On Sat, 11 Feb 2017, Michael Stefaniuc wrote:

> Hello!
>
> coccilib.report.print_report is not producing any output when STDOUT is
> redirected to a file or a pipe. I have attached a simple test case.
>
> spatch cocciprint.cocci cocciprint.c
> cocciprint.c:3:8-9: Printing Suceeded
>
> spatch cocciprint.cocci cocciprint.c  > /tmp/nothing
> wc -c /tmp/nothing
> 0 /tmp/nothing

Thanks for the report.  Will have it looked into.

julia

>
>
> thanks
> bye
> 	michael
>

[Cocci] coccilib.report.print_report Broken For Redirected STDOUT

[Thierry Martinez]

Hello!

Michael:
>> spatch cocciprint.cocci cocciprint.c  > /tmp/nothing
>> wc -c /tmp/nothing
>> 0 /tmp/nothing

Standard output gets buffered when redirected to a file and not flushed
as quickly as it is when there is no redirection: it is not specific to
coccilib.report.print_report and the same observation can be obtained
by just calling "print".

I just committed a simple fix on GitHub: standard outputs are now
flushed at the end of the processing of code transformation.

Thanks for the report. Best regards.
-- 
Thierry.

Julia Lawall (2017/02/11, 19:20 UTC)?:
> On Sat, 11 Feb 2017, Michael Stefaniuc wrote:
>
>> Hello!
>>
>> coccilib.report.print_report is not producing any output when STDOUT is
>> redirected to a file or a pipe. I have attached a simple test case.
>>
>> spatch cocciprint.cocci cocciprint.c
>> cocciprint.c:3:8-9: Printing Suceeded
>>
>> spatch cocciprint.cocci cocciprint.c  > /tmp/nothing
>> wc -c /tmp/nothing
>> 0 /tmp/nothing
>
> Thanks for the report.  Will have it looked into.
>
> julia
>
>>
>>
>> thanks
>> bye
>> 	michael
>>
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci

[Cocci] coccilib.report.print_report Broken For Redirected STDOUT

[Michael Stefaniuc]

On 02/12/2017 01:23 AM, Thierry Martinez wrote:
> Hello!
> 
> Michael:
>>> spatch cocciprint.cocci cocciprint.c  > /tmp/nothing
>>> wc -c /tmp/nothing
>>> 0 /tmp/nothing
> 
> Standard output gets buffered when redirected to a file and not flushed
> as quickly as it is when there is no redirection: it is not specific to
> coccilib.report.print_report and the same observation can be obtained
> by just calling "print".
> 
> I just committed a simple fix on GitHub: standard outputs are now
> flushed at the end of the processing of code transformation.
Thanks Thierry, that fixes the issue.

bye
	michael