Add port flag to remote_rsync_from

remote_access.sh

Index: remote_access.sh
diff --git a/remote_access.sh b/remote_access.sh
index 092555a5bd61f9e8ea3bb0714eda7ac816ceb469..f3d490ab973e03d8011b142ded42341ea0a43297 100644
--- a/remote_access.sh
+++ b/remote_access.sh
@@ -23,7 +23,7 @@ function remote_cp_to() {
 # Copies a list of remote files specified in file $1 to local location
 # $2.  Directory paths in $1 are collapsed into $2.
 function remote_rsync_from() {
-  rsync -e "ssh -o StrictHostKeyChecking=no -o \
+  rsync -e "ssh -p ${FLAGS_ssh_port} -o StrictHostKeyChecking=no -o \
             UserKnownHostsFile=$TMP_KNOWN_HOSTS" --no-R \
     --files-from=$1 root@${FLAGS_remote}:/ $2
 }