diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-11-12 11:07:00 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-11-12 11:07:00 +0100 |
commit | ca0bb01377df3aecc0d187840d7f07d903f98886 (patch) | |
tree | af91ac3c4d4467603790d2f3da4a40d528b9aac5 | |
parent | baa1341076e5da36c0c6ec5438f88c8d71e636d4 (diff) | |
download | jenkins.debian.net-ca0bb01377df3aecc0d187840d7f07d903f98886.tar.xz |
let's assume we're done with debugging here
-rwxr-xr-x | bin/webcheck_url.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/webcheck_url.sh b/bin/webcheck_url.sh index 19c99b55..3ea01da5 100755 --- a/bin/webcheck_url.sh +++ b/bin/webcheck_url.sh @@ -18,7 +18,7 @@ PATTERNS=$2 # # default settings # -set -x +#set -x set -e export LC_ALL=C export http_proxy="http://localhost:3128" |