Main Changes With Respect to the Previous Release
Changes to Public API
None.
Other Changes
- SERVER: using the new implementation of the Resource Manager;
- SERVER: sending a warning message when a client cannot be
notified;
- CLIENT: the java library is now able to use fixed port
communication (when properly configured) instead of the usual
IPC lookup mechanism.
Fixed Issues in Jira
Documentation
Full documentation for the package can be found at this page.