return true;\r
\r
bad_fmt:\r
+ wake_up_terminal();\r
puts("(Fatal format file error; I'm stymied)");\r
\r
return false;\r
// failed to find input file name\r
while (true)\r
{\r
+ wake_up_terminal();\r
fputs("**", stdout);\r
update_terminal();\r
flag = input_ln(stdin, true);\r
if (pausing > 0)\r
if (interaction > nonstop_mode)\r
{\r
- ;\r
+ wake_up_terminal();\r
print_ln();\r
\r
if (start < limit)\r
prompt_input("");\r
else\r
{\r
+ wake_up_terminal();\r
print_ln();\r
sprint_cs(r);\r
prompt_input("=");\r
integer k;\r
\r
if (interaction == scroll_mode)\r
- do_nothing();\r
+ wake_up_terminal();\r
\r
if (!strcmp("input file name", s))\r
print_err("I can't find file `");\r
get_token();\r
\r
if (interaction == error_stop_mode)\r
- do_nothing();\r
+ wake_up_terminal();\r
\r
print_nl("> ");\r
\r
p = the_toks();\r
\r
if (interaction == error_stop_mode)\r
- do_nothing();\r
+ wake_up_terminal();\r
\r
print_nl("> ");\r
token_show(temp_head);\r
goto found;\r
\r
if (knuth_flag)\r
+ {\r
+ wake_up_terminal();\r
printf("%s;%s\n", "Sorry, I can't find that format", " will try the default.");\r
+ }\r
else\r
{\r
name_of_file[name_length + 1] = '\0';\r
if (!w_open_in(fmt_file))\r
{\r
if (knuth_flag)\r
+ {\r
+ wake_up_terminal();\r
printf("%s!\n", "I can't find the default format file");\r
+ }\r
else\r
{\r
name_of_file[name_length + 1] = '\0';\r
}\r
}\r
#endif\r
+ \r
+ wake_up_terminal();\r
\r
{\r
if (total_pages == 0)\r
{\r
/* todo */\r
}\r
+void wake_up_terminal (void)\r
+{\r
+ /* todo */\r
+}\r
/* sec 0034 */\r
void update_terminal(void)\r
{\r
void print_err (const char * s)\r
{\r
if (interaction == error_stop_mode)\r
- do_nothing();\r
+ wake_up_terminal();\r
\r
print_nl("! ");\r
prints(s);\r
/* sec 0071 */\r
void prompt_input(const char * s)\r
{\r
+ wake_up_terminal();\r
prints(s);\r
term_input();\r
}\r
/* sec 79 */\r
extern void node_list_display (integer p);\r
extern void do_nothing (void);\r
+extern void wake_up_terminal (void);\r
extern void update_terminal (void);\r
extern void check_full_save_stack (void);\r
extern void push_input (void);\r