dee6f0 Do not mmap leases file if not needed

Authored and Committed by landgraf 2 years ago
    Do not mmap leases file if  not needed
    
        
file added
+46
file modified
+8 -1