On 15 January 2018 at 16:48, Tom Lane <t...@sss.pgh.pa.us> wrote: > Geoff Winkless <pgsqlad...@geoff.dj> writes: >> Perhaps different messages on different OSes? :) > > It's worse than that: the EOF key is configurable. In principle we > could look into the tty settings and print the right thing, but > I doubt we want to go there, especially if there's no corresponding > thing on Windows.
But surely if Windows always exits using Ctrl-C than that's easiest? And while trying to find the EOF setting in libreadline might get messy, you're already assuming that ctrl-C hasn't been knobbled using stty intr. Unless you want to go searching for that too? Geoff
