comparison src/pager.cc @ 2210:a3e39f8efed2

[project @ 1996-05-15 12:55:55 by jwe]
author jwe
date Wed, 15 May 1996 12:56:15 +0000
parents 859030f15706
children bf6a96fd9b7e
comparison
equal deleted inserted replaced
2209:859030f15706 2210:a3e39f8efed2
78 static int flushing_output_to_pager = 0; 78 static int flushing_output_to_pager = 0;
79 79
80 static void 80 static void
81 clear_external_pager (void) 81 clear_external_pager (void)
82 { 82 {
83 octave_child_list::remove (octave_pager_pid);
84
83 octave_pager_pid = -1; 85 octave_pager_pid = -1;
84 86
85 delete external_pager; 87 delete external_pager;
86 external_pager = 0; 88 external_pager = 0;
87 89