From 1524f217b021df6549db2794ee7d8697247c20a1 Mon Sep 17 00:00:00 2001
From: Matthew Dawson <matthew@mjdsystems.ca>
Date: Wed, 6 Jun 2012 15:50:36 +0000
Subject: [PATCH] Speculatively fix another bug involving deleting invalid
 handles.

If this handle is deleted, make sure to mark it as such.  Otherwise,
there seems to be a double delete occuring and causing issues.


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@8511 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
---
 @GUI/close_fig.m    | 1 +
 @GUI/cvc_ext_call.m | 1 +
 @GUI/pvs_ext_call.m | 1 +
 3 files changed, 3 insertions(+)

diff --git a/@GUI/close_fig.m b/@GUI/close_fig.m
index b531dec..e4da815 100644
--- a/@GUI/close_fig.m
+++ b/@GUI/close_fig.m
@@ -12,6 +12,7 @@
 function [] = close_fig(object,src,event)
 if (object.validation_report_handle ~= 0)
     delete(object.validation_report_handle);
+    object.validation_report_handle = 0;
 end
 object.save_data;
 object.Data.open = 0;
diff --git a/@GUI/cvc_ext_call.m b/@GUI/cvc_ext_call.m
index 0740110..64aad6d 100644
--- a/@GUI/cvc_ext_call.m
+++ b/@GUI/cvc_ext_call.m
@@ -7,6 +7,7 @@ object.save_call([],[]);
 object.save_data;
 if (object.validation_report_handle ~= 0)
     delete(object.validation_report_handle);
+    object.validation_report_handle = 0;
 end
 error = object.check_call([],2);
 
diff --git a/@GUI/pvs_ext_call.m b/@GUI/pvs_ext_call.m
index b5da72e..b9d8559 100644
--- a/@GUI/pvs_ext_call.m
+++ b/@GUI/pvs_ext_call.m
@@ -13,6 +13,7 @@ object.save_call([],[]);
 object.save_data;
 if (object.validation_report_handle ~= 0)
     delete(object.validation_report_handle);
+    object.validation_report_handle = 0;
 end
 error = object.check_call([],2);
 
-- 
GitLab