From bb185c3170e45d7b23ddd15983b46e70566547cb Mon Sep 17 00:00:00 2001
From: Sebastian Stenzel <sebastian.stenzel@gmail.com>
Date: Mon, 8 Feb 2016 15:16:43 +0100
Subject: [PATCH] fixed bug causing directories to disappear immediately after
 renaming to a long name.

---
 .../filesystem/shortening/ShorteningFile.java         | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/main/filesystem-nameshortening/src/main/java/org/cryptomator/filesystem/shortening/ShorteningFile.java b/main/filesystem-nameshortening/src/main/java/org/cryptomator/filesystem/shortening/ShorteningFile.java
index e87828db5..22fa0145d 100644
--- a/main/filesystem-nameshortening/src/main/java/org/cryptomator/filesystem/shortening/ShorteningFile.java
+++ b/main/filesystem-nameshortening/src/main/java/org/cryptomator/filesystem/shortening/ShorteningFile.java
@@ -46,4 +46,15 @@ class ShorteningFile extends DelegatingFile<ShorteningFolder> {
 		return super.openWritable();
 	}
 
+	@Override
+	public void moveTo(File destination) {
+		super.moveTo(destination);
+		if (destination instanceof ShorteningFile) {
+			ShorteningFile dest = (ShorteningFile) destination;
+			if (shortener.isShortened(dest.shortenedName())) {
+				shortener.saveMapping(dest.name(), dest.shortenedName());
+			}
+		}
+	}
+
 }