Arvados

Hi,
I've made a s mall patch to arvbox to bind docker to a specific IP and on Ubuntu arvbox stop did not work so a small fix \s* at the end of VAR.

diff --git a/tools/arvbox/bin/arvbox b/tools/arvbox/bin/arvbox                                                                                                                                  [2/8113]
index 991ccec..6bc12cd 100755
--- a/tools/arvbox/bin/arvbox
+++ b/tools/arvbox/bin/arvbox
@@ -114,6 +114,7 @@ run() {
     if echo "$1" | grep '^public' ; then
         if test -n "$ARVBOX_PUBLISH_IP" ; then
             localip=$ARVBOX_PUBLISH_IP
+            localipd=$(host $ARVBOX_PUBLISH_IP|awk '{print $4}'):
         else
             defaultdev=$(/sbin/ip route|awk '/default/ { print $5 }')
             localip=$(ip addr show $defaultdev | grep 'inet ' | sed 's/ *inet \(.*\)\/.*/\1/')
@@ -122,16 +123,16 @@ run() {
         echo $localip > $iptemp
         chmod og+r $iptemp
         PUBLIC="--volume=$iptemp:/var/run/localip_override
-              --publish=80:80
-              --publish=8000:8000
-              --publish=8900:8900
-              --publish=9001:9001
-              --publish=9002:9002
-              --publish=25100:25100
-              --publish=25107:25107
-              --publish=25108:25108
-              --publish=8001:8001
-              --publish=8002:8002" 
+              --publish=${localipd}80:80
+              --publish=${localipd}8000:8000
+              --publish=${localipd}8900:8900
+              --publish=${localipd}9001:9001
+              --publish=${localipd}9002:9002
+              --publish=${localipd}25100:25100
+              --publish=${localipd}25107:25107
+              --publish=${localipd}25108:25108
+              --publish=${localipd}8001:8001
+              --publish=${localipd}8002:8002" 
     else
         PUBLIC="" 
     fi
@@ -235,15 +236,15 @@ run() {
 }

 stop() {
-    if docker ps -a --filter "status=running" | grep -E "$ARVBOX_CONTAINER$" -q ; then
+    if docker ps -a --filter "status=running" | grep -E "$ARVBOX_CONTAINER\s*$" -q ; then
         docker stop $ARVBOX_CONTAINER
     fi

     VOLUMES=--volumes=true
-    if docker ps -a --filter "status=created" | grep -E "$ARVBOX_CONTAINER$" -q ; then
+    if docker ps -a --filter "status=created" | grep -E "$ARVBOX_CONTAINER\s*$" -q ; then
         docker rm $VOLUMES $ARVBOX_CONTAINER
     fi
-    if docker ps -a --filter "status=exited" | grep -E "$ARVBOX_CONTAINER$" -q ; then
+    if docker ps -a --filter "status=exited" | grep -E "$ARVBOX_CONTAINER\s*$" -q ; then
         docker rm $VOLUMES $ARVBOX_CONTAINER
     fi
 }