In maintenance/postgres/tables.sql, the profiling table should be defined like
authorJeff Janes <jeff.janes@gmail.com>
Tue, 15 Oct 2013 20:19:10 +0000 (20:19 +0000)
committer[[mw:User:Valhallasw]] <gerritpatchuploader@gmail.com>
Tue, 15 Oct 2013 20:19:10 +0000 (20:19 +0000)
commit64fbe6a89bc22ba5ce22dcadbaedb9381afb79d6
treef536dc2e1c69daf082897838a4f8c98a6be4bf54
parent662a0016b9f80c6196fb3a52741694baa9feda69
In maintenance/postgres/tables.sql, the profiling table should be defined like
this:

CREATE TABLE profiling (
  pf_count   INTEGER         NOT NULL DEFAULT 0,
  pf_time    FLOAT           NOT NULL DEFAULT 0,
  pf_memory  FLOAT           NOT NULL DEFAULT 0,
  pf_name    TEXT            NOT NULL,
  pf_server  TEXT            NULL
);

The current use of NUMERIC(18,10) very rapidly overflows the pf_memory column,
generating errors.  Also, the NUMERIC is very much slower than float, and in
this case it has no advantages.

Bug: 55722
Change-Id: I48b00d55aaed821a4ceb9365033817a3b477d71a
includes/installer/PostgresUpdater.php
maintenance/postgres/archives/patch-profiling.sql
maintenance/postgres/tables.sql