diff options
| author | Torsten Hilbrich <torsten.hilbrich@gmx.net> | 2011-08-27 21:05:13 +0200 |
|---|---|---|
| committer | Torsten Hilbrich <torsten.hilbrich@gmx.net> | 2011-08-27 21:05:13 +0200 |
| commit | d21375929c86079424cfbdee97854fb3e1640b7b (patch) | |
| tree | 8c8477271810ca782076d283870e8a7b9397f458 | |
| parent | f749655b76725df9d62e602ff97744510af858a2 (diff) | |
Close connection to dictionary server on exit
Marks the connection not to query to user before closing the
connection.
Fix taken from Debian package.
| -rwxr-xr-x | dictionary.el | 2 |
1 files changed, 2 insertions, 0 deletions
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" |