aboutsummaryrefslogtreecommitdiff
path: root/bin/web
diff options
context:
space:
mode:
Diffstat (limited to 'bin/web')
-rwxr-xr-xbin/web4
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/web b/bin/web
index e7db04de..a7615185 100755
--- a/bin/web
+++ b/bin/web
@@ -25,7 +25,9 @@ else
do
if [ -f "$i" ]
then
- i=file://`pwd`/$i
+ p=`pwd`
+ i=`cleanname -d $p $i`
+ i=file://$i
fi
plumb1 $i
done