diff --git a/Ivette/src/frama-c/server.js b/Ivette/src/frama-c/server.js
index ee6e22f047ebb0c4b54e52912cdf6cd78b11703e..dc581f433246f6200c6d7d0e193322fd2ae4f644 100644
--- a/Ivette/src/frama-c/server.js
+++ b/Ivette/src/frama-c/server.js
@@ -322,15 +322,20 @@ async function _launch() {
     buffer.append(argv);
   });
   buffer.append('\n');
-  process.stdout.on('data', buffer.append );
-  process.stderr.on('data', buffer.append );
+  const logger = (text) => {
+    buffer.append(text);
+    if (0 <= text.indexOf('\n'))
+      buffer.scroll();
+  };
+  process.stdout.on('data', logger );
+  process.stderr.on('data', logger );
   process.on('error', (err) => {
     buffer.append('Error:',err,'\n');
     _close(err);
   });
   process.on('exit', (status,signal) => {
-    signal && buffer.append('Signal:',signal,'\n');
-    status && buffer.append('Exit:',status,'\n');
+    signal && buffer.log('Signal:',signal);
+    status && buffer.log('Exit:',status);
     _close(signal || status);
   });
   // Connect to Server