You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
logError "At least three arguments needs to be passed to withCustomOutputInput, given \033[0;36m%s\033[0m\nFollowing a description of the parameters:""$#"
56
+
echo>&2' 1: outputNr the file descriptor number for the output (i.e. in which you want to write)'
57
+
echo>&2' 2: inputNr the file descriptor number for the input (i.e. from which you want to read)'
58
+
echo>&2' 3: callback the name of the callback function which shall be called'
59
+
echo>&2'...: vararg arguments which are passed to the callback function'
60
+
61
+
printStackTrace
62
+
exit 9
63
+
fi
54
64
# prefix variables as the callback function might use variables from an outer scope and we would shadow those
55
65
local withCustomOutputInput_outputNr=$1
56
66
local withCustomOutputInput_inputNr=$2
@@ -60,10 +70,11 @@ function withCustomOutputInput() {
0 commit comments