1
66%
master: 66%

Ran 16 Apr 2020 02:58AM UTC

Files 18

Run time 1s

Badge

Embed ▾

Committed 16 Apr 2020 02:48AM UTC coverage: 93.814% (-0.2%) from 94.025%

Job # 48.1

Build Type

push

travis-ci

Committed by

kalekundert

Commit Message

Flush before and after redirecting stdout.

This is less of a problem when stdout is attached to a TTY, because then
it's flushed after every newline.  But when stdout is attached to a
pipe, it isn't flushed as frequently and output that is written while
stdout is being redirected may not be flushed until afterwards.

Note also that the buffering in question is happening in python.  Pipes
themselves are unbuffered, but higher-level file abstractions
(`sys.stdout` in python, `*FILE` in C) do their own buffering to
minimize the number of system calls they need to make.

Coverage Stats

1562 of 1665 relevant lines covered (93.81%)

0.94 hits per line

kalekundert / stepwise / 48 / 1
66%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 48.1

kalekundert / stepwise / 48 / 1 66% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 48.1

kalekundert / stepwise / 48 / 1
66%
master: 66%

README BADGES
x