Loose end in recovery.py (change related to log files that was accidentally skipped in a previous commit).
Loose end in recovery.py (change related to log files that was
accidentally skipped in a previous commit).

utah-scs/RAMCloud,Frank-Wu/RamCloud,matrix207/RAMCloud,Frank-Wu/RamCloud,y-higuchi/ramcloud,utah-scs/RAMCloud,alexandermerritt/ramcloud,jcarreira/ramcloud,rstutsman/RAMCloud,alexandermerritt/ramcloud,DavidLi2010/ramcloud,utah-scs/RAMCloud,y-higuchi/ramcloud,IMCG/RamCloud,rstutsman/RAMCloud,matrix207/RAMCloud,y-higuchi/ramcloud,taschik/ramcloud-load-manager,taschik/ramcloud,taschik/ramcloud-load-manager,behnamm/cs244b_project,y-higuchi/ramcloud,mrdiegoa/ramcloud,mrdiegoa/ramcloud,taschik/ramcloud,DavidLi2010/ramcloud,matrix207/RAMCloud,jcarreira/ramcloud,alexandermerritt/ramcloud,mrdiegoa/ramcloud,Frank-Wu/RamCloud,anirajk/RAMCloud,anirajk/RAMCloud,mrdiegoa/ramcloud,QingkaiLu/RAMCloud,alexandermerritt/ramcloud,QingkaiLu/RAMCloud,anirajk/RAMCloud,Frank-Wu/RamCloud,Frank-Wu/RamCloud,SMatsushi/RAMCloud,jblomer/ramcloud,jcarreira/ramcloud,behnamm/cs244b_project,jcarreira/ramcloud,IMCG/RamCloud,anirajk/RAMCloud,SMatsushi/RAMCloud,rstutsman/RAMCloud,SMatsushi/RAMCloud,DavidLi2010/ramcloud,anirajk/RAMCloud,matrix207/RAMCloud,jcarreira/ramcloud,QingkaiLu/RAMCloud,jblomer/ramcloud,matrix207/RAMCloud,behnamm/cs244b_project,behnamm/cs244b_project,taschik/ramcloud,rstutsman/RAMCloud,y-higuchi/ramcloud,alexandermerritt/ramcloud,rstutsman/RAMCloud,QingkaiLu/RAMCloud,IMCG/RamCloud,jblomer/ramcloud,behnamm/cs244b_project,DavidLi2010/ramcloud,IMCG/RamCloud,utah-scs/RAMCloud,SMatsushi/RAMCloud,taschik/ramcloud-load-manager,QingkaiLu/RAMCloud,taschik/ramcloud,jblomer/ramcloud,Frank-Wu/RamCloud,jblomer/ramcloud,matrix207/RAMCloud,y-higuchi/ramcloud,utah-scs/RAMCloud,DavidLi2010/ramcloud,mrdiegoa/ramcloud,alexandermerritt/ramcloud,SMatsushi/RAMCloud,behnamm/cs244b_project,IMCG/RamCloud,IMCG/RamCloud,taschik/ramcloud,taschik/ramcloud-load-manager,utah-scs/RAMCloud,DavidLi2010/ramcloud,jblomer/ramcloud,QingkaiLu/RAMCloud,anirajk/RAMCloud,mrdiegoa/ramcloud,taschik/ramcloud-load-manager,rstutsman/RAMCloud,jcarreira/ramcloud,SMatsushi/RAMCloud