comparison src/variables.cc @ 1516:14d8c0a838c1

[project @ 1995-10-03 13:21:12 by jwe]
author jwe
date Tue, 03 Oct 1995 13:22:22 +0000
parents 74f9e88a2c12
children 5a02b9fba19e
comparison
equal deleted inserted replaced
1515:d361954e95ae 1516:14d8c0a838c1
704 if (is_function_file (ffile)) 704 if (is_function_file (ffile))
705 { 705 {
706 unwind_protect_int (echo_input); 706 unwind_protect_int (echo_input);
707 unwind_protect_int (saving_history); 707 unwind_protect_int (saving_history);
708 unwind_protect_int (reading_fcn_file); 708 unwind_protect_int (reading_fcn_file);
709 unwind_protect_int (input_from_command_line_file);
709 710
710 echo_input = 0; 711 echo_input = 0;
711 saving_history = 0; 712 saving_history = 0;
712 reading_fcn_file = 1; 713 reading_fcn_file = 1;
714 input_from_command_line_file = 0;
713 715
714 YY_BUFFER_STATE old_buf = current_buffer (); 716 YY_BUFFER_STATE old_buf = current_buffer ();
715 YY_BUFFER_STATE new_buf = create_buffer (ffile); 717 YY_BUFFER_STATE new_buf = create_buffer (ffile);
716 718
717 add_unwind_protect (restore_input_buffer, (void *) old_buf); 719 add_unwind_protect (restore_input_buffer, (void *) old_buf);