From 8369a7f33086649e1a67ba74d0a6205d98f6c3f3 Mon Sep 17 00:00:00 2001
From: zone <zone@alumni.egroupware.org>
Date: Tue, 28 Aug 2001 08:09:04 +0000
Subject: [PATCH] Use phpgw_exit () in html_page_close () instead of exit;

---
 filemanager/inc/html.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/filemanager/inc/html.inc.php b/filemanager/inc/html.inc.php
index 9dc1a0587b..737236c3e5 100755
--- a/filemanager/inc/html.inc.php
+++ b/filemanager/inc/html.inc.php
@@ -167,7 +167,7 @@ function html_page_close ()
 //	html_page_body_end ();
 //	html_page_end ();
 	$phpgw->common->phpgw_footer ();
-	exit;
+	$phpgw->common->phpgw_exit ();
 }
 function html_text_bold ($text = NULL, $return = 0, $lang = 0)
 {