From bc222d2cf1bf99dd52d718d744cebefa72d4d646 Mon Sep 17 00:00:00 2001 From: clemahieu Date: Tue, 19 Apr 2016 21:25:55 -0500 Subject: [PATCH] Working around useless c++ streams. --- rai/utility.hpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/rai/utility.hpp b/rai/utility.hpp index 38a1d899..fc76c286 100644 --- a/rai/utility.hpp +++ b/rai/utility.hpp @@ -74,10 +74,15 @@ bool fetch_object (T & object, std::iostream & stream_a) error = object.deserialize_json (updated, tree); if (!error && updated) { + auto end (stream_a.tellp ()); stream_a.seekp (0); try { boost::property_tree::write_json (stream_a, tree); + while (stream_a.tellp () != end) + { + stream_a << ' '; + } } catch (std::runtime_error const &) {