Closed giacomocusinato closed 1 day ago
Thanks for the review @dankeboy36! You're right, would be best to handle the error directly on the backend. Initially I found a bit confusing code-wise restarting the compile stream in the same method, but I've proposed a solution now. If that works I might use the same approach with the logic in https://github.com/arduino/arduino-ide/pull/2500
Motivation
Closes: arduino/arduino-ide#2547
Change description
Catch invalid instance error during compilation, refresh grpc client and retry.
Other information
Reviewer checklist