src/delta_lease.c src/direct.c src/ondisk.c src/ondisk.h src/paxos_lease.c src/paxos_lease.h src/resource.c