From 86c8778fc13199a4c95d16f646040452e307444a Mon Sep 17 00:00:00 2001
From: Alejandro Mery <amery@geeks.cl>
Date: Wed, 4 Mar 2009 14:19:47 +0100
Subject: [PATCH] sde-download: fixed dump-tokenized.sh to work again

---
 lib/sde-download/dump-tokenized.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/sde-download/dump-tokenized.sh b/lib/sde-download/dump-tokenized.sh
index 3224ef0..8346a80 100755
--- a/lib/sde-download/dump-tokenized.sh
+++ b/lib/sde-download/dump-tokenized.sh
@@ -19,5 +19,4 @@
 # here)
 #
 
-set -x
-echo "${0%/*}/dump.sh" "$@" #| sed -e "s,[\r\t\"'<>= /],\n,g"
+exec "${0%/*}/dump.sh" "$@" | sed -e "s,[\r\t\"'<>= /],\n,g"