Retry language server start-up when its locale script fails to load - #1409

Retry language server start-up when its locale script fails to load#1409

microbit-matt-hillsdon merged 2 commits into

mainmicrobit-foundation/python-editor-v3:mainfrom

language-server-init-retrymicrobit-foundation/python-editor-v3:language-server-init-retryCopy head branch name to clipboard