[patch] mediawiki-1.7.1-jobkeyindex-sizeexceeded.patch

mediawiki-1.7.1-jobkeyindex-sizeexceeded.patch (text/plain), 426 bytes, created by Daniel Black (RETIRED) on 2006-08-11 05:55:26 UTC

--- ./maintenance/mysql5/tables.sql.orig	2006-07-09 15:44:57.000000000 +1000
+++ ./maintenance/mysql5/tables.sql	2006-08-11 22:51:13.000000000 +1000
@@ -991,7 +991,7 @@
   job_params blob NOT NULL default '',
 
   PRIMARY KEY job_id (job_id),
-  KEY (job_cmd, job_namespace, job_title)
+  KEY (job_cmd(128), job_namespace, job_title(128))
 ) TYPE=InnoDB, DEFAULT CHARSET=utf8;
 
 -- Details of updates to cached special pages