# HG changeset patch
# User jodogne
# Date 1349985758 -7200
# Node ID 0fadb04728ba29ce5240ffc5c6816d52196257ee
# Parent  7e8b68dd6acef4072685f1d18998ea7e9b0edd72
fix

diff -r 7e8b68dd6ace -r 0fadb04728ba Core/FileStorage.cpp
--- a/Core/FileStorage.cpp	Thu Oct 11 18:02:23 2012 +0200
+++ b/Core/FileStorage.cpp	Thu Oct 11 22:02:38 2012 +0200
@@ -283,7 +283,7 @@
     {
       fs::remove(p);
     }
-    catch (fs::filesystem_error)
+    catch (...)
     {
       // Ignore the error
     }
@@ -302,7 +302,7 @@
       fs::remove(p.parent_path().parent_path());
 #endif
     }
-    catch (fs::filesystem_error)
+    catch (...)
     {
       // Ignore the error
     }