investigate scenario with two servers sharing lease database and pools
Clearly it is a pretty bad setup but it seems to be used by some customers so it is a bit late to say it is not supported so:
- analyze the behavior of the current code
- decide what should be the lease worst behavior
- update code and documentation