fix bug with board reappearing on different ports after upload
Merge pull request #194 from arduino/retouch-board fix bug about board reapping on different ports after upload
Merge pull request #194 from arduino/retouch-board fix bug about board reapping on different ports after upload