Apparently, some users mess up their directories so badly that they don't stat as...
authorSapan Bhatia <sapanb@cs.princeton.edu>
Thu, 7 May 2009 22:36:45 +0000 (22:36 +0000)
committerSapan Bhatia <sapanb@cs.princeton.edu>
Thu, 7 May 2009 22:36:45 +0000 (22:36 +0000)
commitf596d6d2f9f2b8e7fbffd9c3332fda1de1adc798
treeccd216ad4dd33adad9454bcc4cdf7b772fa955a5
parent82be4f9a82a52a2fc12ce6959aea140bca2aaa0d
Apparently, some users mess up their directories so badly that they don't stat as directories anymore. This change is for them.
exec/umount