From 8fbb36422e3e3546ad356f0bc8045053307fed6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Mon, 6 Apr 1998 19:28:18 +0200
Subject: [PATCH] Now calls cleanup_backend() on exit.

Rev: src/main.c:1.47
---
 src/main.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index 292de002e3..b11880d249 100644
--- a/src/main.c
+++ b/src/main.c
@@ -4,7 +4,7 @@
 ||| See the files COPYING and DISCLAIMER for more information.
 \*/
 #include "global.h"
-RCSID("$Id: main.c,v 1.46 1998/04/06 04:27:06 hubbe Exp $");
+RCSID("$Id: main.c,v 1.47 1998/04/06 17:28:18 grubba Exp $");
 #include "fdlib.h"
 #include "backend.h"
 #include "module.h"
@@ -403,6 +403,7 @@ void low_exit_main(void)
   void cleanup_pike_types(void);
   void cleanup_program(void);
   void cleanup_compiler(void);
+  void cleanup_backend(void);
 
   th_cleanup();
   exit_dynamic_load();
@@ -414,6 +415,7 @@ void low_exit_main(void)
   cleanup_pike_types();
   cleanup_program();
   cleanup_compiler();
+  cleanup_backend();
 
   do_gc();
   free_svalue(& throw_value);
-- 
GitLab