File: patch-profiling.sql

package info (click to toggle)
mediawiki 1%3A1.19.20%2Bdfsg-0%2Bdeb7u3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 75,652 kB
  • sloc: php: 844,154; pascal: 6,026; sql: 5,936; perl: 769; python: 745; makefile: 413; sh: 194; xml: 91; ansic: 77
file content (7 lines) | stat: -rw-r--r-- 269 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
 
CREATE TABLE profiling (
  pf_count   INTEGER         NOT NULL DEFAULT 0,
  pf_time    NUMERIC(18,10)  NOT NULL DEFAULT 0,
  pf_name    TEXT            NOT NULL,
  pf_server  TEXT            NULL
);
CREATE UNIQUE INDEX pf_name_server ON profiling (pf_name, pf_server);