Fix coverity #29604
authorTobias Markus <tobbi@mozilla-uk.org>
Fri, 27 Feb 2015 22:31:58 +0000 (23:31 +0100)
committerTobias Markus <tobbi@mozilla-uk.org>
Fri, 27 Feb 2015 22:31:58 +0000 (23:31 +0100)
src/supertux/sector.cpp

index 8575297..c9879c9 100644 (file)
@@ -115,8 +115,15 @@ Sector::Sector(Level* parent) :
 Sector::~Sector()
 {
   using namespace scripting;
+  try
+  {
+    deactivate();
+  }
+  catch(const std::exception& err)
+  {
+    log_warning << err.what() << std::endl;
+  }
 
-  deactivate();
 
   for(auto i = scripts.begin(); i != scripts.end(); ++i) {
     HSQOBJECT& object = *i;