]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
projects / users / dwmw2 / openconnect.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1bf24bd 918f35c)
Merge branch 'windows_ctrl_signal_handler' into 'master'
authorDaniel Lenski <dlenski@gmail.com>
Fri, 14 Jan 2022 18:10:49 +0000 (18:10 +0000)
committerDaniel Lenski <dlenski@gmail.com>
Fri, 14 Jan 2022 18:10:49 +0000 (18:10 +0000)
Handle Ctrl+C (and related) signals on Windows for proper disconnect and cleanup

See merge request openconnect/openconnect!323


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.