From 5536b0c7fef6115d82437285fd3e6b17ae9ccc39 Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Tue, 3 Jun 2014 13:35:18 -0400 Subject: [PATCH] Flush stream more often to help figure out where the mystery crash originates. --- src/Paragraph.cpp | 6 ++++++ src/insets/InsetTabular.cpp | 3 +++ 2 files changed, 9 insertions(+) diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp index 75f0171bf1..f3040b5da1 100644 --- a/src/Paragraph.cpp +++ b/src/Paragraph.cpp @@ -1669,6 +1669,9 @@ void Paragraph::write(ostream & os, BufferParams const & bparams, os << "\\begin_inset "; inset->write(os); os << "\n\\end_inset\n\n"; + // FIXME This can be removed again once the mystery + // crash has been resolved. + os << flush; column = 0; } } @@ -1706,6 +1709,9 @@ void Paragraph::write(ostream & os, BufferParams const & bparams, flushString(os, write_buffer); os << "\n\\end_layout\n"; + // FIXME This can be removed again once the mystery + // crash has been resolved. + os << flush; } diff --git a/src/insets/InsetTabular.cpp b/src/insets/InsetTabular.cpp index 775dbdcb5c..1a84c8e220 100644 --- a/src/insets/InsetTabular.cpp +++ b/src/insets/InsetTabular.cpp @@ -1518,6 +1518,9 @@ void Tabular::write(ostream & os) const cell_info[r][c].inset->write(os); os << "\n\\end_inset\n" << "\n"; + // FIXME This can be removed again once the mystery + // crash has been resolved. + os << flush; } os << "\n"; } -- 2.39.2