diff options
author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-12-23 23:59:05 -0800 |
---|---|---|
committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-12-23 23:59:05 -0800 |
commit | 528cc9ba85a0920f49cff92b78bd4eb6900e4e96 (patch) | |
tree | 840fee4d7d8ff78e3b54641b8d713e75cf351622 | |
parent | 0376901ae2cfed0f0e6e0f5f0475f3ee24510c04 (diff) |
tools: support the number of clients command line option for root-server-docker.sh
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
-rwxr-xr-x | tools/config/root-server-docker.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/config/root-server-docker.sh b/tools/config/root-server-docker.sh index f2af3d7d..fe8fe31c 100755 --- a/tools/config/root-server-docker.sh +++ b/tools/config/root-server-docker.sh @@ -24,11 +24,13 @@ delete_bridge() { fi } -while getopts c: OPT +while getopts c:n: OPT do case $OPT in c) CONFIG_DIR="$OPTARG" ;; + n) NR_PEERS="$OPTARG" + ;; *) echo "Unknown option" exit 1 ;; |