X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fvfm.c;h=b5d2a8d3564e76641e692bace61df3fe3befcf76;hb=b996647adb40b2b51f888c8e755d5f5f2c15cb37;hp=0c152c09f78bb17cf551182d6e9aa563f47c5847;hpb=def7e6026513a3ee7c2b38416b30a2e890e34311;p=pspp

diff --git a/src/vfm.c b/src/vfm.c
index 0c152c09f7..b5d2a8d356 100644
--- a/src/vfm.c
+++ b/src/vfm.c
@@ -435,8 +435,12 @@ close_active_file (void)
   /* Old data sink becomes new data source. */
   if (vfm_sink->class->make_source != NULL)
     vfm_source = vfm_sink->class->make_source (vfm_sink);
-  else
-    vfm_source = NULL;
+  else 
+    {
+      if (vfm_sink->class->destroy != NULL)
+        vfm_sink->class->destroy (vfm_sink);
+      vfm_source = NULL; 
+    }
   free_case_sink (vfm_sink);
   vfm_sink = NULL;