[ARVADOS] updated: 4f851b818a67ee768d0db2535186eee9eb73154e

[git at public.curoverse.com]

Summary of changes:
 docker/arvctl |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

       via  4f851b818a67ee768d0db2535186eee9eb73154e (commit)
      from  4ebb077a946fea01a36c8e53aa2c9c3dc56cf85e (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 4f851b818a67ee768d0db2535186eee9eb73154e
Author: Tim Pierce <twp at curoverse.com>
Date:   Wed Feb 12 14:27:43 2014 -0500

    Correct comments to account for new verbs.

diff --git a/docker/arvctl b/docker/arvctl
index bdd8864..ed8da8b 100755
--- a/docker/arvctl
+++ b/docker/arvctl
@@ -7,11 +7,11 @@ function usage {
     echo >&2 "usage: $0 (start|stop|restart|test) [options]"
     echo >&2
     echo >&2 "$0 start/stop/restart options:"
-    echo >&2 "  -d [port], --doc[=port]        Start documentation server (default port 9898)"
-    echo >&2 "  -w [port], --workbench[=port]  Start workbench server (default port 9899)"
-    echo >&2 "  -s [port], --sso[=port]        Start SSO server (default port 9901)"
-    echo >&2 "  -a [port], --api[=port]        Start API server (default port 9900)"
-    echo >&2 "  -k, --keep                     Start Keep servers"
+    echo >&2 "  -d [port], --doc[=port]        Documentation server (default port 9898)"
+    echo >&2 "  -w [port], --workbench[=port]  Workbench server (default port 9899)"
+    echo >&2 "  -s [port], --sso[=port]        SSO server (default port 9901)"
+    echo >&2 "  -a [port], --api[=port]        API server (default port 9900)"
+    echo >&2 "  -k, --keep                     Keep servers"
     echo >&2 "  --ssh                          Enable SSH access to server containers"
     echo >&2 "  -h, --help                     Display this help and exit"
     echo >&2

-----------------------------------------------------------------------


hooks/post-receive
--