From a7c0020ceb9ec0bca5494224659bc3f1b27a26eb Mon Sep 17 00:00:00 2001
From: Luke Childs <luke@laserred.co>
Date: Thu, 10 Sep 2015 20:43:48 +0100
Subject: [PATCH] while and do on same line in dokku deploy

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

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