changeset 505:db398832518b

* Avoid a sometime crash on exit, by simply not deleting stuff
author Chris Cannam
date Fri, 05 Dec 2008 11:24:13 +0000
parents 3376dc26dece
children 823e8a4feff5
files rdf/SimpleSPARQLQuery.cpp
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/rdf/SimpleSPARQLQuery.cpp	Fri Dec 05 11:09:44 2008 +0000
+++ b/rdf/SimpleSPARQLQuery.cpp	Fri Dec 05 11:24:13 2008 +0000
@@ -94,6 +94,11 @@
 
 WredlandWorldWrapper::~WredlandWorldWrapper()
 {
+/*!!! This is a static singleton; destroying it while there are
+      queries outstanding can be problematic, it appears, and since
+      the storage is non-persistent there shouldn't be any need to
+      destroy it explicitly, except for the sake of tidiness.
+
     while (!m_ownModelUris.empty()) {
         librdf_free_model(m_ownModelUris.begin()->second);
         m_ownModelUris.erase(m_ownModelUris.begin());
@@ -105,6 +110,7 @@
     if (m_defaultModel) librdf_free_model(m_defaultModel);
     if (m_defaultStorage) librdf_free_storage(m_defaultStorage);
     if (m_world) librdf_free_world(m_world);
+*/
 }
 
 bool