From 0b7b03c7d2badbbba0a59066ed59bb77e05def7e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 5 Nov 2016 19:28:22 +0100
Subject: [PATCH] parsetl: flush the errors

This fixes an issue in the on-line translator, where error message would
not be output in the correct <div>.

* spot/parsetl/fmterror.cc (format_parse_errors): Flush the stream.
---
 spot/parsetl/fmterror.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spot/parsetl/fmterror.cc b/spot/parsetl/fmterror.cc
index e7a231603..a8b262874 100644
--- a/spot/parsetl/fmterror.cc
+++ b/spot/parsetl/fmterror.cc
@@ -89,6 +89,7 @@ namespace spot
           os << '\n' << it.second << "\n\n";
           printed = true;
         }
+      os.flush();
       return printed;
     }
   }