From 532c237107d216fbc3c223d6439d29dfe2e0c3bd Mon Sep 17 00:00:00 2001
From: Marco Vermeulen <vermeulen.mp@gmail.com>
Date: Wed, 17 Oct 2012 15:35:19 +0100
Subject: [PATCH] Set JAVA_HOME before running local server with run.sh

---
 run.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/run.sh b/run.sh
index 36bb0078..f008b719 100755
--- a/run.sh
+++ b/run.sh
@@ -9,4 +9,5 @@ if [ -z $(which vertx) ]; then
 	exit 0
 fi
 
+export JAVA_HOME="/Library/Java/JavaVirtualMachines/1.7.0.jdk/Contents/Home"
 vertx run srv/server.groovy