From 56da01829027aed35bb4924378aac9f113fa0fd1 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Thu, 17 Sep 2015 11:19:18 +0200
Subject: [PATCH] lib/lib.bash: - bugfix

---
 lib/lib.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/lib.bash b/lib/lib.bash
index b9f6416..1a86d87 100644
--- a/lib/lib.bash
+++ b/lib/lib.bash
@@ -49,7 +49,7 @@ trap "std::error_handler" ERR
 std::error_handler() {
 	local -i ec=$?
 
-	[[ typeset -F _exit >/dev/null 2>&1 ]] && _exit "${ec}"
+	typeset -F _exit 1>/dev/null 2>&1 && _exit "${ec}"
 	exit ${ec}
 }