mirrors/cryptomator
1
0
Fork 0
mirror of https://github.com/cryptomator/cryptomator.git synced 2026-05-19 19:21:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixes coverity issue 147409

Browse Source
This commit is contained in:
Sebastian Stenzel
2016-09-15 14:14:50 +02:00
parent df1fd6d0b3
commit ef0425e2b1
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
main/ui/src/main/java/org/cryptomator/ui/model/Vault.java
View File

@@ -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);
}