SculptureOfSoul #1 Well, it's not a bug. Ends up that, for whatever reason, the stream was not being automatically flushed when the while loop was there. Forcing a flush fixed the problem.