# HG changeset patch
# User Chris Cannam
# Date 1228476253 0
# Node ID db398832518b0968eebe839cf25e82b954b96a90
# Parent  3376dc26dece75b5188a1acf1b4cf2f145f7d8a8
* Avoid a sometime crash on exit, by simply not deleting stuff

diff -r 3376dc26dece -r db398832518b rdf/SimpleSPARQLQuery.cpp
--- 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