Suggestion: include interruption method for \watch option (page 1922, PostgreSQL 11.1 Documentation)
Hi
I used the \watch option in psql and couldn't stop the loop until I found
the way* using ctrl-c. I am new to programming, and perhaps using ctrl-c is
standard practice, but in a future manual perhaps you should replace the
text below 'until interrupted' with 'until interrupted (using ctrl-c)'.
Regards, Rodrigo
PostgreSQL 11.1 Documentation, page 1922:
*
https://www.depesz.com/2013/04/07/waiting-for-9-3-add-watch-sec-command-to-p
sql/
---
El software de antivirus Avast ha analizado este correo electrónico en busca de virus.
https://www.avast.com/antivirus
Attachments:
image003.jpgimage/jpeg; name=image003.jpgDownload
On Thu, Jan 24, 2019 at 10:33 AM <rodrigo_de_carlos@yahoo.com> wrote:
I used the \watch option in psql and couldn’t stop the loop until I found the way* using ctrl-c. I am new to programming, and perhaps using ctrl-c is standard practice, but in a future manual perhaps you should replace the text below ‘until interrupted’ with ‘until interrupted (using ctrl-c)’.
Ctrl-C, AFAIK, sends the INT(errupt) signal in *ix, which normally
stops looping things. That's the standard way to interrupt long
running commands, send them the interrupt signal.
I haven't read the relevant sources, but my bet is psql is catching
int in *ix to do that ( it does it for other things ).
IIRC windows does similar stuff, although I think Ctrl-break had to be
used, but I haven't used it since the dawn of the century.
That ( knowing how to interrput things ) is not a programming, but a
basic OS - user issue.
Francisco Olarte.
Francisco Olarte <folarte@peoplecall.com> writes:
On Thu, Jan 24, 2019 at 10:33 AM <rodrigo_de_carlos@yahoo.com> wrote:
I used the \watch option in psql and couldn’t stop the loop until I found the way* using ctrl-c. I am new to programming, and perhaps using ctrl-c is standard practice, but in a future manual perhaps you should replace the text below ‘until interrupted’ with ‘until interrupted (using ctrl-c)’.
Ctrl-C, AFAIK, sends the INT(errupt) signal in *ix, which normally
stops looping things. That's the standard way to interrupt long
running commands, send them the interrupt signal.
IIRC windows does similar stuff, although I think Ctrl-break had to be
used, but I haven't used it since the dawn of the century.
Yeah, the reason that the message doesn't already mention control-c
is that the interrupt signal varies depending on platform (also,
it's possible to remap it to some other key, on most platforms).
In the end we expect you to know that much about whatever environment
you're using.
regards, tom lane
On Thu, Jan 24, 2019 at 10:03:12AM -0500, Tom Lane wrote:
Francisco Olarte <folarte@peoplecall.com> writes:
On Thu, Jan 24, 2019 at 10:33 AM <rodrigo_de_carlos@yahoo.com> wrote:
I used the \watch option in psql and couldn’t stop the loop until I found the way* using ctrl-c. I am new to programming, and perhaps using ctrl-c is standard practice, but in a future manual perhaps you should replace the text below ‘until interrupted’ with ‘until interrupted (using ctrl-c)’.
Ctrl-C, AFAIK, sends the INT(errupt) signal in *ix, which normally
stops looping things. That's the standard way to interrupt long
running commands, send them the interrupt signal.IIRC windows does similar stuff, although I think Ctrl-break had to be
used, but I haven't used it since the dawn of the century.Yeah, the reason that the message doesn't already mention control-c
is that the interrupt signal varies depending on platform (also,
it's possible to remap it to some other key, on most platforms).
In the end we expect you to know that much about whatever environment
you're using.
Well, in psql we ended up just suggesting the likely default for exiting
psql:
#ifndef WIN32
puts(_("Use control-D to quit."));
#else
puts(_("Use control-C to quit."));
#endif
Not sure if we could do the same thing here.
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +