Flush stream more often to help figure out where the mystery crash

originates.

diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp
index 75f0171bf1a4863b7059e57b1784462541ede7f3..f3040b5da1559c39b5a431f460270749fa9d8421 100644 (file)
--- 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 775dbdcb5c1c32bd84bd51c4af9d736b67f0eb74..1a84c8e2202e30538f0205ef014642100c19593a 100644 (file)
--- 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"
                           << "</cell>\n";
+                       // FIXME This can be removed again once the mystery
+                       // crash has been resolved.
+                       os << flush;
                }
                os << "</row>\n";
        }