Make pf_server nullable.

diff --git a/maintenance/postgres/tables.sql b/maintenance/postgres/tables.sql
index 29a2a73..46b428b 100644 (file)
--- a/maintenance/postgres/tables.sql
+++ b/maintenance/postgres/tables.sql
@@ -446,7 +446,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            NOT NULL
+  pf_server  TEXT            NULL
 );
 CREATE UNIQUE INDEX pf_name_server ON profiling (pf_name, pf_server);