src/ldDocument.cc

changeset 857
e62983881460
parent 855
e16f1587ef44
child 861
83426c5fa732
--- a/src/ldDocument.cc	Mon Jul 28 16:38:34 2014 +0300
+++ b/src/ldDocument.cc	Tue Jul 29 13:12:22 2014 +0300
@@ -67,7 +67,7 @@
 			LDrawPathDialog dlg (false);
 
 			if (not dlg.exec())
-				exit (0);
+				Exit();
 
 			cfg::LDrawPath = dlg.filename();
 		}
@@ -153,7 +153,10 @@
 //
 LDDocument::~LDDocument()
 {
-	print ("Deleted %1", getDisplayName());
+	// Don't bother during program termination
+	if (IsExiting())
+		return;
+
 	g_allDocuments.removeOne (self());
 	m_flags |= DOCF_IsBeingDestroyed;
 	delete m_history;

mercurial