64fbe6a89b
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
8 lines
318 B
SQL
8 lines
318 B
SQL
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
|
|
);
|
|
CREATE UNIQUE INDEX pf_name_server ON profiling (pf_name, pf_server);
|