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

originates.
This commit is contained in:
Richard Heck 2014-06-03 13:35:18 -04:00
parent e0215530c6
commit 5536b0c7fe
2 changed files with 9 additions and 0 deletions

View File

@ -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;
}

View File

@ -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";
}