From 22347dc10221f5f308dda2f858d5b43d71c9b2d5 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sun, 5 Oct 2003 22:36:00 +0000
Subject: [PATCH] Make psql \timing show three digits.

---
 src/bin/psql/common.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/bin/psql/common.c b/src/bin/psql/common.c
index 2d274677d59..4bdf1e467ce 100644
--- 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;
 }
-- 
2.39.5