You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
User reported this exception on the mailing list in early February:
java.lang.NullPointerException at org.protege.editor.owl.model.library.folder.FolderGroupManager.examineDiskEntries(FolderGroupManager.java:256)
Asked user for more details about how to reproduce, but they didn't respond. Was not able to reproduce at Stanford. Timothy added some defensive code (see this commit).
Another user reported the same exception on the mailing list April 14th (see this post). Built a Protege distribution from sources and asked user to download and report back if the issue is fixed.
The text was updated successfully, but these errors were encountered:
According to this post on protege-user, the exception no longer happens with the version of Protege that was built from sources. The defensive code that Timothy added seems to have resolved the issue.
…tash applies
Menus such as the server/commit make use of the history manager events to enable/disable. When history is
reset after applying remote changes, events must be thrown in order for the menus to update properly.
Fixes: protegeproject#34
User reported this exception on the mailing list in early February:
java.lang.NullPointerException at org.protege.editor.owl.model.library.folder.FolderGroupManager.examineDiskEntries(FolderGroupManager.java:256)
Asked user for more details about how to reproduce, but they didn't respond. Was not able to reproduce at Stanford. Timothy added some defensive code (see this commit).
Another user reported the same exception on the mailing list April 14th (see this post). Built a Protege distribution from sources and asked user to download and report back if the issue is fixed.
The text was updated successfully, but these errors were encountered: