jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-07 20:56:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
384 Commits 27 Branches 52 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
Miro Spönemann
b055bd9e41 Workaround for Windows: We cannot use SIGINT to interrupt gdb, so kill the process on disconnect 2020-02-26 16:12:02 +01:00
Miro Spönemann
a6cef7c605 Detect even more error cases 2020-02-26 13:55:12 +01:00
Miro Spönemann
f6a8dceabc Improved error detection to catch more cases 2020-02-25 15:43:21 +01:00
Miro Spönemann
3ed72de810 Detect errors in spawned process 2020-02-25 14:08:08 +01:00