Close WebSocket connection after closing Serial Plotter#1702

francescospissu wants to merge 1 commit intomainarduino/arduino-ide:mainfrom

fspissu/port-left-openarduino/arduino-ide:fspissu/port-left-openCopy head branch name to clipboard