Fix \watch's interaction with libedit on ^C.
authorThomas Munro
Sun, 10 Jul 2022 04:30:03 +0000 (16:30 +1200)
committerThomas Munro
Sun, 10 Jul 2022 04:53:39 +0000 (16:53 +1200)
When you hit ^C, the terminal driver in Unix-like systems echoes "^C" as
well as sending an interrupt signal (depending on stty settings).  At
least libedit (but maybe also libreadline) is then confused about the
current cursor location, and corrupts the display if you try to scroll
back.  Fix, by moving to a new line before the next prompt is displayed.

Back-patch to all supported released.

Author: Pavel Stehule 
Reported-by: Tom Lane
Discussion: https://postgr.es/m/3278793.1626198638%40sss.pgh.pa.us

src/bin/psql/command.c

index d66f83d8ba5c732fc2a2bea409bea4fbddde4a16..9e62e153853289cfaa8e367cd3ea7b0d380d367e 100644 (file)
@@ -4899,6 +4899,14 @@ do_watch(PQExpBuffer query_buf, double sleep)
        sigint_interrupt_enabled = false;
    }
 
+   /*
+    * If the terminal driver echoed "^C", libedit/libreadline might be
+    * confused about the cursor position.  Therefore, inject a newline
+    * before the next prompt is displayed.
+    */
+   fprintf(stdout, "\n");
+   fflush(stdout);
+
    pg_free(title);
    return (res >= 0);
 }