catch unknown map

2014-09-01 03:26:21 +02:00
parent 6f85c345be
commit f43aa884d5
1 changed files with 1 additions and 0 deletions
--- 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]);