Cut off board/port name when greater than 50#3185

Merged

ffissore merged 2 commits intoarduino:masterfrom

ffissore:board-port-cut-off

May 20, 2015

Commits on May 19, 2015

Merge pull request #3186 from Chris--A/allow_headers
ffissore
committed
Cut off board/port name at 50 instead of 16. Fixes #3104
Federico Fissore
committed