tree 2132f37eea619ec407fa4019007180385cc5372f
parent 026eaf3f8c8eb5a390911de81c43975c95827ef2
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1361732854 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1361734826 -0800

hack to remove empty parent dirs when remote removing a file
use remove instead of remove_all just to be conservative

Change-Id: I2b26c2baa327696b0a40aebec47f9eeaf40249a9