projects
/
arvados.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b989c72
)
Whitespace fix.
author
Ward Vandewege <ward@curoverse.com>
Thu, 10 Jul 2014 14:35:04 +0000
(10:35 -0400)
committer
Ward Vandewege <ward@curoverse.com>
Thu, 10 Jul 2014 14:35:04 +0000
(10:35 -0400)
refs #3219
docker/arvdock
patch
|
blob
|
history
diff --git
a/docker/arvdock
b/docker/arvdock
index 372f32292aef0a8a1d18edc30d3219be8c3119f2..f2edc19c737107857e6216b41de52f2e04308d09 100755
(executable)
--- a/
docker/arvdock
+++ b/
docker/arvdock
@@
-170,7
+170,7
@@
function do_start {
*) start_workbench=$2; shift 2 ;;
esac
;;
- -k | --keep
)
+ -k | --keep)
start_keep=true
shift
;;