Show psql timing output even in quiet mode

These two settings ought to be independent of each other.

diff --git a/src/bin/psql/common.c b/src/bin/psql/common.c
index 6cef2bafcf7b5b145099d9fdb7ebe44c37a3cdb0..ed929372420fba4c9bf9077cec112f103b15971c 100644 (file)
--- a/src/bin/psql/common.c
+++ b/src/bin/psql/common.c
@@ -3,7 +3,7 @@
  *
  * Copyright (c) 2000-2010, PostgreSQL Global Development Group
  *
- * $PostgreSQL: pgsql/src/bin/psql/common.c,v 1.146 2010/07/06 19:18:59 momjian Exp $
+ * $PostgreSQL: pgsql/src/bin/psql/common.c,v 1.147 2010/07/28 04:39:14 petere Exp $
  */
 #include "postgres_fe.h"
 #include "common.h"
@@ -936,7 +936,7 @@ SendQuery(const char *query)
    PQclear(results);
 
    /* Possible microtiming output */
-   if (OK && pset.timing && !pset.quiet)
+   if (OK && pset.timing)
        printf(_("Time: %.3f ms\n"), elapsed_msec);
 
    /* check for events that may occur during query execution */