Might as well give pag_random a decent default.
authorGreg Sabino Mullane <greg@users.mediawiki.org>
Wed, 5 Jul 2006 04:15:57 +0000 (04:15 +0000)
committerGreg Sabino Mullane <greg@users.mediawiki.org>
Wed, 5 Jul 2006 04:15:57 +0000 (04:15 +0000)
maintenance/postgres/tables.sql

index 0cc5ecf..5481a39 100644 (file)
@@ -55,7 +55,7 @@ CREATE TABLE page (
   page_counter       BIGINT         NOT NULL  DEFAULT 0,
   page_is_redirect   CHAR           NOT NULL  DEFAULT 0,
   page_is_new        CHAR           NOT NULL  DEFAULT 0,
-  page_random        NUMERIC(15,14) NOT NULL,
+  page_random        NUMERIC(15,14) NOT NULL  DEFAULT RANDOM(),
   page_touched       TIMESTAMPTZ,
   page_latest        INTEGER        NOT NULL, -- FK?
   page_len           INTEGER        NOT NULL