diff src/help.cc @ 1588:27f5ac98fc4a

[project @ 1995-10-31 06:04:47 by jwe]
author jwe
date Tue, 31 Oct 1995 06:04:47 +0000
parents ee3bfe928671
children f18871f4df2b
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -52,6 +52,7 @@
 #include "tree-const.h"
 #include "tree-expr.h"
 #include "tree-expr.h"
+#include "unwind-prot.h"
 #include "user-prefs.h"
 #include "utils.h"
 #include "variables.h"
@@ -728,6 +729,11 @@
 {
   Octave_object retval;
 
+  begin_unwind_frame ("Ftype");
+
+  unwind_protect_ptr (user_pref.ps4);
+  user_pref.ps4 = "";
+
   DEFINE_ARGV("type");
 
   if (argc > 1)
@@ -859,6 +865,8 @@
 
   DELETE_ARGV;
 
+  run_unwind_frame ("Ftype");
+
   return retval;
 }