line_exec.py: Flush stdout immediately after write

1e1dc77c-0fc8-11e3-a6e8-f23c916913c2