bugfix: worker.log_dir varchar(80) was too limiting, now extended to...

bugfix: worker.log_dir varchar(80) was too limiting, now extended to varchar(255); (thanks, Kathryn!)

sql/patch_2012-11-09.sql

+    # varchar(80) was too limiting, so let's extend it:
+
+ALTER TABLE worker MODIFY COLUMN log_dir varchar(255) DEFAULT NULL;

sql/tables.sql

@@ -85,7 +85,7 @@ CREATE TABLE worker (
     last_check_in    datetime NOT NULL,
     died             datetime DEFAULT NULL,
     cause_of_death   enum('NO_WORK', 'JOB_LIMIT', 'HIVE_OVERLOAD', 'LIFESPAN', 'CONTAMINATED', 'KILLED_BY_USER', 'MEMLIMIT', 'RUNLIMIT', 'UNKNOWN') DEFAULT NULL,
-    log_dir          varchar(80) DEFAULT NULL,
+    log_dir          varchar(255) DEFAULT NULL,
 
     PRIMARY KEY (worker_id),
     INDEX analysis_status (analysis_id, status)