Printing lists with a MAX_PRINT_LIST_SIZE
Printing lists with a MAX_PRINT_LIST_SIZE
Default rejection policy for the timer is "abort" --> spawning a new thread if aborted
ViewId.compareTo() now also uses creator (not just ID) for comparison. GMS.installView() uses ViewId.compareToIDs() to only use the IDs to compare
Removed unused method
ns
Printing view-id instead of view (less output)
Exposing properties via @Properties
Set default segment capacity to 1000
Changed ViewId.getCoord() to getCreator()
Changed ViewId.getCoord() to getCreator()
ns
ns
ns
Determining the correct merge leader and injecting MERGE event into it only
Removed merge_kill_timeout
Printing lists with size limit
Setting logical names to 1, 2, 3 etc
Determining the correct merge leader and injecting MERGE event into it only
Added test