Hi folks, I noticed that Openconnect does not call the script specificed via "script=" option (usually vpnc-script) when it is stopped. I'm using release v7.08. Obviously this causes DNS to be broken. It this a known issue or something with my system? I trace this by adding "set -x" into vpnc script, and I only see it's debug log during connection, but on upon disconnect / shutdown. Is my understanding correct?