From 10bff4c4fda6d0c7dcd3ac69435c41d5577e0046 Mon Sep 17 00:00:00 2001
From: Sebastian Stenzel <sebastian.stenzel@gmail.com>
Date: Fri, 12 May 2017 16:07:16 +0200
Subject: [PATCH] fixes coverity CID 167209

---
 main/ui/src/main/java/org/cryptomator/ui/model/Vault.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 f963c03f6..d615dac5a 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
@@ -216,7 +216,7 @@ public class Vault {
 		return vaultSettings;
 	}
 
-	public String getWebDavUrl() {
+	public synchronized String getWebDavUrl() {
 		return servlet.getServletRootUri().toString();
 	}