| Index: remote_access.sh
|
| diff --git a/remote_access.sh b/remote_access.sh
|
| index 6a5a6d1fb6675a9daa6931a9cf8c167f2fdd6ce6..092555a5bd61f9e8ea3bb0714eda7ac816ceb469 100644
|
| --- a/remote_access.sh
|
| +++ b/remote_access.sh
|
| @@ -15,7 +15,7 @@ DEFINE_integer ssh_port 22 \
|
|
|
| # Copies $1 to $2 on remote host
|
| function remote_cp_to() {
|
| - REMOTE_OUT=$(scp -o StrictHostKeyChecking=no -o \
|
| + REMOTE_OUT=$(scp -P ${FLAGS_ssh_port} -o StrictHostKeyChecking=no -o \
|
| UserKnownHostsFile=$TMP_KNOWN_HOSTS $1 root@$FLAGS_remote:$2)
|
| return ${PIPESTATUS[0]}
|
| }
|
|
|