mirror of
https://github.com/postgres/postgres.git
synced 2025-06-30 21:42:05 +03:00
Add optional on/off argument to \timing.
David Fetter.
This commit is contained in:
@ -3,7 +3,7 @@
|
||||
*
|
||||
* Copyright (c) 2000-2008, PostgreSQL Global Development Group
|
||||
*
|
||||
* $PostgreSQL: pgsql/src/bin/psql/command.c,v 1.189 2008/05/14 19:10:29 tgl Exp $
|
||||
* $PostgreSQL: pgsql/src/bin/psql/command.c,v 1.190 2008/06/11 10:48:17 heikki Exp $
|
||||
*/
|
||||
#include "postgres_fe.h"
|
||||
#include "command.h"
|
||||
@ -884,7 +884,12 @@ exec_command(const char *cmd,
|
||||
/* \timing -- toggle timing of queries */
|
||||
else if (strcmp(cmd, "timing") == 0)
|
||||
{
|
||||
pset.timing = !pset.timing;
|
||||
char *opt = psql_scan_slash_option(scan_state,
|
||||
OT_NORMAL, NULL, false);
|
||||
if (opt)
|
||||
pset.timing = ParseVariableBool(opt);
|
||||
else
|
||||
pset.timing = !pset.timing;
|
||||
if (!pset.quiet)
|
||||
{
|
||||
if (pset.timing)
|
||||
@ -892,6 +897,7 @@ exec_command(const char *cmd,
|
||||
else
|
||||
puts(_("Timing is off."));
|
||||
}
|
||||
free(opt);
|
||||
}
|
||||
|
||||
/* \unset */
|
||||
|
Reference in New Issue
Block a user