1 | svoid dm_retrieveFileFromOtherMachineIfDifferent(S computerID, S remotePath, File f) { |
2 | S remoteMD5 = cast dm_evalOnOtherMachine(computerID, "md5OfFile(fileRelativeToUserDir(" + quote(remotePath) + "))"); |
3 | if (eq(remoteMD5, md5OfFile(f))) ret with print("File identical: " + f); |
4 | dm_retrieveFileFromOtherMachine(computerID, remotePath, f); |
5 | } |
6 | |
7 | static File dm_retrieveFileFromOtherMachineIfDifferent(S computerID, S remotePath) { |
8 | File f = standardPathForFileFromOtherComputer(computerID, remotePath); |
9 | dm_retrieveFileFromOtherMachineIfDifferent(computerID, remotePath, f); |
10 | ret f; |
11 | } |
Began life as a copy of #1020817
download show line numbers debug dex old transpilations
Travelled to 8 computer(s): bhatertpkbcr, cfunsshuasjs, gwrvuhgaqvyk, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1020821 |
Snippet name: | dm_retrieveFileFromOtherMachineIfDifferent |
Eternal ID of this version: | #1020821/4 |
Text MD5: | a44f989855cccaea44a2bb58bbe8985b |
Author: | stefan |
Category: | javax / stefan's os |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2019-03-10 09:32:08 |
Source code size: | 599 bytes / 11 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 268 / 307 |
Version history: | 3 change(s) |
Referenced in: | [show references] |