maintenance/postgres/archives/patch-profiling.sql

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