From 56f1bf7bff5c703af3f2d1347d1303e48abf9933 Mon Sep 17 00:00:00 2001
From: Jack Andersen <jackoalan@gmail.com>
Date: Tue, 31 May 2016 11:40:24 -1000
Subject: [PATCH] Minor engine lifetime fix

---
 lib/Engine.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/Engine.cpp b/lib/Engine.cpp
index 6db19d3..b573f9d 100644
--- a/lib/Engine.cpp
+++ b/lib/Engine.cpp
@@ -13,8 +13,9 @@ namespace amuse
 
 Engine::~Engine()
 {
-    while (m_activeSequencers.size())
-        m_activeSequencers.front()->_destroy();
+    for (std::shared_ptr<Sequencer>& seq : m_activeSequencers)
+        if (!seq->m_destroyed)
+            seq->_destroy();
     while (m_activeSubmixes.size())
         removeSubmix(&m_activeSubmixes.front());
     for (std::shared_ptr<Emitter>& emitter : m_activeEmitters)