Fix \watch's interaction with libedit on ^C.

macdice · macdice · commit ab7fef0acfbd · 2022-07-10T16:53:18.000+12:00
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 <pavel.stehule@gmail.com> Reported-by: Tom Lane <tgl@sss.pgh.pa.us> Discussion: https://postgr.es/m/3278793.1626198638%40sss.pgh.pa.us
diff --git a/src/bin/psql/command.c b/src/bin/psql/command.c
@@ -4992,6 +4992,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);
 }

Original file line number	Diff line number	Diff line change
`@@ -4992,6 +4992,14 @@ do_watch(PQExpBuffer query_buf, double sleep)`
`4992`	`4992`	`sigint_interrupt_enabled = false;`
`4993`	`4993`	`}`
`4994`	`4994`
	`4995`	`+ /*`
	`4996`	`+ * If the terminal driver echoed "^C", libedit/libreadline might be`
	`4997`	`+ * confused about the cursor position. Therefore, inject a newline`
	`4998`	`+ * before the next prompt is displayed.`
	`4999`	`+ */`
	`5000`	`+ fprintf(stdout, "\n");`
	`5001`	`+ fflush(stdout);`
	`5002`	`+`
`4995`	`5003`	`pg_free(title);`
`4996`	`5004`	`return (res >= 0);`
`4997`	`5005`	`}`