updated wake_up_terminal().

[putex/putex.git] / src / texsourc / utils.c

diff --git a/src/texsourc/utils.c b/src/texsourc/utils.c
index d509f1c..165661c 100644 (file)
--- a/src/texsourc/utils.c
+++ b/src/texsourc/utils.c
@@ -26,6 +26,10 @@ void do_nothing(void)
 {\r
   /* todo */\r
 }\r
+void wake_up_terminal (void)\r
+{\r
+  /* todo */\r
+}\r
 /* sec 0034 */\r
 void update_terminal(void)\r
 {\r
@@ -70,7 +74,7 @@ void append_lc_hex (ASCII_code c)
 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
@@ -78,6 +82,7 @@ void print_err (const char * s)
 /* sec 0071 */\r
 void prompt_input(const char * s)\r
 {\r
+  wake_up_terminal();\r
   prints(s);\r
   term_input();\r
 }\r