From b357502859929aede3295ee02c97e791b28c005d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ian@liberator.relativity.greenend.org.uk>
Date: Sun, 5 Jul 2009 21:56:19 +0100
Subject: [PATCH] Provide compressed version of dictionaries

---
 pctb/dictionary-manager | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/pctb/dictionary-manager b/pctb/dictionary-manager
index c504882..d9d3dab 100755
--- a/pctb/dictionary-manager
+++ b/pctb/dictionary-manager
@@ -1068,9 +1068,14 @@ proc remote-serv/take {yesno file dict} {
     manyset [dict2_reqkind_rows $dict] reqkind rows
     
     if {$yesno} {
-	read_database $dictdir/master-$dict.txt
+	set fnbase $dictdir/master-$dict.txt
+	read_database $fnbase
 	set database($key) $val
 	write_database
+
+	exec gzip -1 < $fnbase > $fnbase.gz.new
+	exec mv -f -- $fnbase.gz.new $fnbase.gz
+
 	set desc approve
     } else {
 	set desc reject
-- 
2.30.2