diff options
| -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" |