-
-
Notifications
You must be signed in to change notification settings - Fork 7k
Fix crash due to index json parse errors and permission problems #7964
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix crash due to index json parse errors and permission problems #7964
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good: The IDE is able to start up after I change the first character in library_index.json from '{' to '<'.
Good: Opening the Library Manager causes library_index.json to be updated.
Not so good: After updating library_index.json, the library manager window remains blank. It does display properly if I close and reopen the library manager window.
I tested with arduino-PR-7964-BUILD-769 on Linux 64 bit.
Yes, it has to re-open the window, I'm trying to fix this. |
424fde0
to
c45c1af
Compare
Pushed other two commits, should fix it for good |
✅ Build completed. Please test this code using one of the following: ⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-7964-BUILD-771-linux32.tar.xz ℹ️ The |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Confirmed with PR-7964-BUILD-771, the GUI is properly updating. Looks great!
See #7937