From 299d53095992d71244b7cac5f0f10a579e95597d Mon Sep 17 00:00:00 2001
From: Luke Childs <luke@laserred.co>
Date: Thu, 10 Sep 2015 20:33:10 +0100
Subject: [PATCH] Use [[ instead of [ in dokku deploy

---
 dokku | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dokku b/dokku
index 802e88538..ef1e28447 100755
--- a/dokku
+++ b/dokku
@@ -69,7 +69,7 @@ case "$1" in
     DOKKU_SCALE_FILE="$DOKKU_ROOT/$APP/DOKKU_SCALE"
     oldids=$(get_app_container_ids $APP)
 
-    while read line || [ -n "$line" ]
+    while read line || [[ -n "$line" ]]
     do
       TRIM=${line%#*}
       PROC_TYPE=${TRIM%%=*}