From ef0425e2b18fda8c44a73187946e251d6bbea45c Mon Sep 17 00:00:00 2001 From: Sebastian Stenzel Date: Thu, 15 Sep 2016 14:14:50 +0200 Subject: [PATCH] fixes coverity issue 147409 --- main/ui/src/main/java/org/cryptomator/ui/model/Vault.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main/ui/src/main/java/org/cryptomator/ui/model/Vault.java b/main/ui/src/main/java/org/cryptomator/ui/model/Vault.java index 8c0c00fc3..086fffa90 100644 --- a/main/ui/src/main/java/org/cryptomator/ui/model/Vault.java +++ b/main/ui/src/main/java/org/cryptomator/ui/model/Vault.java @@ -168,7 +168,7 @@ public class Vault implements CryptoFileSystemDelegate { ); } - public void reveal() throws CommandFailedException { + public synchronized void reveal() throws CommandFailedException { Optionals.ifPresent(filesystemFrontend.get(), Frontend::reveal); } @@ -190,7 +190,7 @@ public class Vault implements CryptoFileSystemDelegate { // Getter/Setter // *******************************************************************************/ - public String getWebDavUrl() { + public synchronized String getWebDavUrl() { return filesystemFrontend.get().map(Frontend::getWebDavUrl).orElseThrow(IllegalStateException::new); }