From f43aa884d53f205c5ed0bf6a7532a731de09bac9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20Schro=CC=88der?= <schteffens@gmail.com>
Date: Mon, 1 Sep 2014 03:26:21 +0200
Subject: [PATCH] catch unknown map

---
 application/core/Maps/MapManager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/application/core/Maps/MapManager.php b/application/core/Maps/MapManager.php
index 9fa11dfc..1a407e92 100644
--- a/application/core/Maps/MapManager.php
+++ b/application/core/Maps/MapManager.php
@@ -274,6 +274,7 @@ class MapManager implements CallbackListener {
 		try {
 			$this->maniaControl->getClient()->removeMap($map->fileName);
 		} catch (NotInListException $e) {
+		} catch (FileException $e) {
 		}
 
 		unset($this->maps[$uid]);