maintenance/postgres/archives/patch-profiling.sql

   1 CREATE TABLE profiling (
   2   pf_count   INTEGER         NOT NULL DEFAULT 0,
   3   pf_time    NUMERIC(18,10)  NOT NULL DEFAULT 0,
   4   pf_name    TEXT            NOT NULL,
   5   pf_server  TEXT            NULL
   6 );
   7 CREATE UNIQUE INDEX pf_name_server ON profiling (pf_name, pf_server);