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

originates.
(cherry picked from commit 5536b0c7fef6115d82437285fd3e6b17ae9ccc39)

diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp
index 4d9b37c1f73cbea209247e9273e64ad5654213b5..2ac7dd01b76752cce62567942a6bc3cce048a7f8 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 b12474344606c04db87920a5ca81e3f92c5408a4..2e0bc7167dea0134669023f573617faeccf6b365 100644 (file)
--- a/src/insets/InsetTabular.cpp
+++ b/src/insets/InsetTabular.cpp
@@ -1517,6 +1517,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";
        }

diff --git a/status.21x b/status.21x
index da94c4783ebb8b1f8dfb4b34356887d5a38f6a54..7c4e96275d8ced755d1b2658fee8098b97d65206 100644 (file)
--- a/status.21x
+++ b/status.21x
@@ -32,6 +32,9 @@ What's new
   filename (tmp-oldfile.lyx) and only deletes the original file once the
   new file has successfully been written. 
 
+- We now flush the output stream more frequently, as a temporary measure
+  to help us gather information about the crash mentioned above.
+
 
 * TEX2LYX IMPROVEMENTS