jupyter-api-copy-cookies-for-websocket: Ensure modified cookies will be written to file

This commit is contained in:
Nathaniel Nicandro 2019-07-03 10:07:58 -05:00 committed by Nathaniel Nicandro
parent 239715919f
commit 36aec72814

View file

@ -313,9 +313,11 @@ see RFC 6265."
(when-let* ((url (url-generic-parse-url url)) (when-let* ((url (url-generic-parse-url url))
(host (url-host url)) (host (url-host url))
(port (url-port-if-non-default url)) (port (url-port-if-non-default url))
(host-port (format "%s:%s" host port))) (host-port (format "%s:%s" host port))
(cookies (jupyter-api-url-cookies url)))
(setq url-cookies-changed-since-last-save t)
(cl-loop (cl-loop
for cookie in (jupyter-api-url-cookies url) for cookie in cookies
do (pcase-let (((cl-struct url-cookie name value expires do (pcase-let (((cl-struct url-cookie name value expires
localpart secure) localpart secure)
cookie)) cookie))