# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1456779053 -3600
# Node ID cb16c0a1f194b58ac20f558d6c2d7f3e06926784
# Parent  a7b8bb39736b500854d57f6f3dc02264730ea1a9
docker (libervia_cont): added eprintf function to print to stderr

diff -r a7b8bb39736b -r cb16c0a1f194 docker/libervia_cont.sh
--- a/docker/libervia_cont.sh	Mon Feb 29 12:59:23 2016 +0100
+++ b/docker/libervia_cont.sh	Mon Feb 29 21:50:53 2016 +0100
@@ -63,6 +63,11 @@
 CONT_CERT_DIR="/usr/share/sat/certificates"
 DEFAULT_TMP_DIR="/tmp/tmp_sat_docker"
 
+eprintf()
+{
+   >&2 printf "$@"
+}
+
 get_dyn_var() {
     # get dynamicly variable based on given name