X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?a=blobdiff_plain;f=pctb%2Fdictionary-manager;fp=pctb%2Fdictionary-manager;h=d9d3dab0a3d47ed4a3235426429c67a8b9b3f8cc;hb=b357502859929aede3295ee02c97e791b28c005d;hp=c504882ccc7273803589a52ad413867304bac69d;hpb=1fd70980b922a1a7030b7d5a77c5ecf7b5d58f11;p=ypp-sc-tools.web-live.git

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