On 12/24/13, 5:40 AM, Fabrízio de Royes Mello wrote:>> (Untested). Isn't this just a case of psql not printing out a timing if>> the server responds with PGRES_EMPTY_QUERY?>>> > Works... look to the attached patch!
That looks reasonable.