• Jason Rhinelander's avatar
    random: flush output · 09a12244
    Jason Rhinelander authored
    The "Executing ..." line is being lost from ssh connections, I suspect
    because of the lack of flushing.
    09a12244