From 13167858b9880e4d0f77c7fdc99cd4c97e06fadf Mon Sep 17 00:00:00 2001
From: Javi Fontan <jfontan@fdi.ucm.es>
Date: Mon, 28 Mar 2011 11:45:46 +0200
Subject: [PATCH] Logging info now goes to stderr (cherry picked from commit
 144dfcca02bc2b45d7f9e6f03cc33b9656f8e719)

---
 src/mad/sh/scripts_common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mad/sh/scripts_common.sh b/src/mad/sh/scripts_common.sh
index afbdf4bb75..31271085dc 100755
--- a/src/mad/sh/scripts_common.sh
+++ b/src/mad/sh/scripts_common.sh
@@ -45,7 +45,7 @@ function log_date
 # Logs a message
 function log
 {
-    echo "$SCRIPT_NAME: $1"
+    echo "$SCRIPT_NAME: $1" 1>&2
 }
 
 # Logs an error message