]> https://gitweb.dealii.org/ - dealii.git/commit
Be more careful with streams. 3437/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 3 Nov 2016 17:56:41 +0000 (11:56 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Thu, 3 Nov 2016 17:56:41 +0000 (11:56 -0600)
commit34d0b1c07f3b978a17981b78a7b898e743f474fe
treea23603b9d8a3807c937274f1c6f9dc683c23315f
parenta1e66d482b1ab31fce98ce5599c4d9a14197ac38
Be more careful with streams.

In particular, stop also if in.fail() is true, not just if in.eof() is true.
I suspect that it matters little in practice, but who knows.
source/grid/grid_in.cc

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.