From 157348045b093b47c85384ae50fb77e3865d0c2e Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Fri, 20 Mar 2020 11:50:48 +0100
Subject: [PATCH] replace the 0707 permissions by 0777

---
 Polyhedron/demo/Polyhedron/Use_ssh.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Polyhedron/demo/Polyhedron/Use_ssh.cpp b/Polyhedron/demo/Polyhedron/Use_ssh.cpp
index a1b342eda69..dcf595a5c93 100644
--- a/Polyhedron/demo/Polyhedron/Use_ssh.cpp
+++ b/Polyhedron/demo/Polyhedron/Use_ssh.cpp
@@ -182,7 +182,7 @@ bool push_file(ssh_session &session,
     return false;
   }
   //push a file to /tmp
-  res = ssh_scp_push_directory(scp, ".", 0707);
+  res = ssh_scp_push_directory(scp, ".", 0777);
   if (res != SSH_OK)
   {
     std::cerr<<"Can't create remote directory: %s\n"
@@ -191,7 +191,7 @@ bool push_file(ssh_session &session,
     return false;
   }
   res = ssh_scp_push_file
-      (scp, dest_path, size, 0707);
+      (scp, dest_path, size, 0777);
   if (res != SSH_OK)
   {
     std::cerr<< "Can't open remote file: %s\n"