From 1e184bb0f49b9d6aed6c927091ab3559d23c4cf2 Mon Sep 17 00:00:00 2001
From: ThorstenB <brehmt@gmail.com>
Date: Mon, 14 Nov 2011 20:38:50 +0100
Subject: [PATCH] Avoid segfault on shutdown Fixes double-delete of old ATC
 manager.

---
 src/ATCDCL/ATCmgr.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ATCDCL/ATCmgr.cxx b/src/ATCDCL/ATCmgr.cxx
index bbb7d3c50..69a0b1179 100644
--- a/src/ATCDCL/ATCmgr.cxx
+++ b/src/ATCDCL/ATCmgr.cxx
@@ -52,6 +52,7 @@ FGATCMgr::FGATCMgr() :
 }
 
 FGATCMgr::~FGATCMgr() {
+    globals->set_ATC_mgr(NULL);
     delete v1;
 }