From d21375929c86079424cfbdee97854fb3e1640b7b Mon Sep 17 00:00:00 2001 From: Torsten Hilbrich Date: Sat, 27 Aug 2011 21:05:13 +0200 Subject: Close connection to dictionary server on exit Marks the connection not to query to user before closing the connection. Fix taken from Debian package. --- dictionary.el | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dictionary.el b/dictionary.el index d70908a..1240f3b 100755 --- a/dictionary.el +++ b/dictionary.el @@ -413,6 +413,8 @@ by the choice value: (connection-open dictionary-proxy-server dictionary-proxy-port) (connection-open dictionary-server dictionary-port))) + (process-kill-without-query + (connection-process dictionary-connection)) (when dictionary-use-http-proxy (message "Proxy CONNECT to %s:%d" -- cgit v1.2.3