From 368f9d3dfd11641ba20a8a6052404f6c624787a8 Mon Sep 17 00:00:00 2001
From: cris111 <cris111@users.noreply.github.com>
Date: Thu, 21 Aug 2014 12:48:20 +0200
Subject: [PATCH] Issue #95 - Reading remote file changes file time

Opening (Reading) a remote file changes the file time to current time.
Not tested due to missing development environment.
---
 src/content/js/etc/programs.js | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/content/js/etc/programs.js b/src/content/js/etc/programs.js
index b7f358d..8908398 100644
--- a/src/content/js/etc/programs.js
+++ b/src/content/js/etc/programs.js
@@ -221,12 +221,8 @@ function remoteLaunchProgram(extensionIndex, programIndex, fileIndex) {
 
         let remoteFile = remoteTree.data[x];
 
-        var func = function() {
-          var subFunc = function() { launchProgram(extensionIndex, programIndex, tmpFile, remoteFile); };
-          setTimeout(subFunc, 0);                                                                     // let the queue finish up
-        };
-
-        gConnection.download(remoteFile.path, tmpFile.path, remoteFile.fileSize, false, 0, false, func, remoteFile);
+        gConnection.download(remoteFile.path, tmpFile.path, remoteFile.fileSize, false, 0, false, null, remoteFile);
+        launchProgram(extensionIndex, programIndex, tmpFile, remoteFile);
       }
     }
   } catch (ex) {