From 731b28c7bd5bcdc542e8b83d8a681bf1222e3ba1 Mon Sep 17 00:00:00 2001
From: Marco Vermeulen <vermeulen.mp@gmail.com>
Date: Thu, 10 Mar 2016 08:22:53 +0000
Subject: [PATCH] Revert "Clean up after merge."

This reverts commit 51c877d3ab51a80a7c2d841108be4bf5a4606d70.
---
 src/main/bash/sdkman-utils.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/bash/sdkman-utils.sh b/src/main/bash/sdkman-utils.sh
index 3c0619ad..5c7e4e05 100644
--- a/src/main/bash/sdkman-utils.sh
+++ b/src/main/bash/sdkman-utils.sh
@@ -27,9 +27,9 @@ function __sdkman_curl_with_timeouts {
 }
 
 function __sdkman_page {
-    local pager="${PAGER-$(which less)}"
+    local PAGER="${PAGER-$(which less)}"
 
-    if [[ -n "$pager" ]]; then
+    if [[ -n "$PAGER" ]]; then
         "$@" | "$PAGER"
     else
         "$@"