| # | Line 183 | Line 183 | void DumpWriter::writeFrame(std::ostream& os) { | |
|---|---|---|
| 183 | } | |
| 184 | } | |
| 185 | ||
| 186 | + | os.flush(); |
| 187 | #else // is_mpi | |
| 188 | /********************************************************************* | |
| 189 | * Documentation? You want DOCUMENTATION? | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |