src/client_resource.c src/direct.c src/main.c src/paxos_lease.c src/sanlock_internal.h src/token_manager.c src/token_manager.h