We were flushing the Python object, but not the FILE* object that we got. I would have thought they would be synchronized, but .... Anyway, added an fflush() call where appropriate.
We were flushing the Python object, but not the FILE* object that we got. I would have thought they would be synchronized, but .... Anyway, added an fflush() call where appropriate.