From b9c940600b12e517306e94f7967f570b8f3ff52c Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Fri, 22 Feb 2019 16:04:21 +0100
Subject: [PATCH] bugfix in std::log(): do not append newline to format.

---
 Pmodules/libstd.bash | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Pmodules/libstd.bash b/Pmodules/libstd.bash
index 224dac5..1773f17 100644
--- a/Pmodules/libstd.bash
+++ b/Pmodules/libstd.bash
@@ -5,9 +5,10 @@
 #
 std::log() {
         local -ri fd=$1
-        local -r fmt="$2\n"
+        local -r fmt="$2"
         shift 2
         printf -- "$fmt" "$@" 1>&$fd
+        echo
 }
 
 std::info() {