From b992f7c7ddb0c783c042912716165a6dce034ec0 Mon Sep 17 00:00:00 2001
From: Amir Malik <amir@localhost>
Date: Tue, 21 Dec 2010 10:02:43 +0800
Subject: [PATCH] use cd, dirname, and pwd to determine path instead of
 readlink (Mac fix)

---
 utils/launch.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/launch.sh b/utils/launch.sh
index 7c3f6b6e..aeb875c8 100755
--- a/utils/launch.sh
+++ b/utils/launch.sh
@@ -20,7 +20,7 @@ usage() {
 }
 
 NAME="$(basename $0)"
-HERE=$(readlink -f $(dirname $0))
+HERE="$(cd "$(dirname "$0")" && pwd)"
 WEB_PORT="6080"
 PROXY_PORT="6081"
 VNC_DEST="localhost:5900"