git://git.onelab.eu
/
vsys-scripts.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
82be4f9
)
Apparently, some users mess up their directories so badly that they don't stat as...
author
Sapan Bhatia
<sapanb@cs.princeton.edu>
Thu, 7 May 2009 22:36:45 +0000
(22:36 +0000)
committer
Sapan Bhatia
<sapanb@cs.princeton.edu>
Thu, 7 May 2009 22:36:45 +0000
(22:36 +0000)
exec/umount
patch
|
blob
|
history
diff --git
a/exec/umount
b/exec/umount
index
f7c7fea
..
3d7fb48
100755
(executable)
--- 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");
}