diff src/pager.cc @ 1965:01e3ed56c415

[project @ 1996-02-17 02:02:50 by jwe]
author jwe
date Sat, 17 Feb 1996 02:03:11 +0000
parents 0e6a0a271998
children 003570e69c7b
line wrap: on
line diff
--- a/src/pager.cc	Sat Feb 17 00:11:53 1996 +0000
+++ b/src/pager.cc	Sat Feb 17 02:03:11 1996 +0000
@@ -112,6 +112,12 @@
     }
 }
 
+static void
+cleanup_oprocstream (void *p)
+{
+  delete (oprocstream *) p;
+}
+
 void
 flush_output_to_pager (void)
 {
@@ -203,7 +209,7 @@
 
   int argc = args.length () + 1;
 
-  string_vector argv = make_argv (args, "diary");
+  string_vector argv = args.make_argv ("diary");
 
   if (error_state)
     return retval;
@@ -255,7 +261,7 @@
 
   int argc = args.length () + 1;
 
-  string_vector argv = make_argv (args, "more");
+  string_vector argv = args.make_argv ("more");
 
   if (error_state)
     return retval;