maintenance/sqlite/archives/patch-profiling.sql

   1 -- profiling table
   2 -- This is optional
   3
   4 CREATE TABLE /*_*/profiling (
   5   pf_count int NOT NULL default 0,
   6   pf_time float NOT NULL default 0,
   7   pf_memory float NOT NULL default 0,
   8   pf_name varchar(255) NOT NULL default '',
   9   pf_server varchar(30) NOT NULL default ''
  10 );
  11
  12 CREATE UNIQUE INDEX /*i*/pf_name_server ON /*_*/profiling (pf_name, pf_server);