GPI2-format.patch

   1 --- GPI2-1.1.0/src/GPI2_Logger.c.orig   2014-06-18 21:42:30.000000000 +0200
   2 +++ GPI2-1.1.0/src/GPI2_Logger.c        2014-09-03 17:47:28.132279202 +0200
   3 @@ -191,7 +191,7 @@
   4        vsnprintf (buf + sl, 1024 - sl, fmt, ap);
   5        va_end (ap);
   6
   7 -      fprintf (stdout, buf);
   8 +      fputs (buf, stdout);
   9        fflush (stdout);
  10
  11        goto endL;