From f596d6d2f9f2b8e7fbffd9c3332fda1de1adc798 Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Thu, 7 May 2009 22:36:45 +0000
Subject: [PATCH] Apparently, some users mess up their directories so badly
 that they don't stat as directories anymore. This change is for them.

---
 exec/umount | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/exec/umount b/exec/umount
index f7c7fea..3d7fb48 100755
--- a/exec/umount
+++ b/exec/umount
@@ -11,10 +11,6 @@ $localpath=~s/\.\.//g;
 
 $localpath=$slice_dir.$localpath;
 
-unless (-d $localpath) {
-	die("Localpath does not exist, please create it first.");
-}
-
 unless($localpath=~/\/?[\w\d]+\/[\w\d]*\/?/) {
     die("$localpath is not a path");
 }
-- 
2.43.0