Make psql \timing show three digits.

diff --git a/src/bin/psql/common.c b/src/bin/psql/common.c
index 2d274677d595668a33ff1f51deab6bd09641d81b..4bdf1e467ceeb3a1bf6377750301f22c94070121 100644 (file)
--- a/src/bin/psql/common.c
+++ b/src/bin/psql/common.c
@@ -3,7 +3,7 @@
  *
  * Copyright (c) 2000-2003, PostgreSQL Global Development Group
  *
- * $Header: /cvsroot/pgsql/src/bin/psql/common.c,v 1.74 2003/09/16 17:59:02 tgl Exp $
+ * $Header: /cvsroot/pgsql/src/bin/psql/common.c,v 1.75 2003/10/05 22:36:00 momjian Exp $
  */
 #include "postgres_fe.h"
 #include "common.h"
@@ -550,7 +550,7 @@ PrintQueryResults(PGresult *results,
 
        /* Possible microtiming output */
        if (pset.timing && success)
-               printf(gettext("Time: %.2f ms\n"), DIFF_MSEC(after, before));
+               printf(gettext("Time: %.3f ms\n"), DIFF_MSEC(after, before));
 
        return success;
 }