diff --git a/utils/launch.sh b/utils/launch.sh
index de56758a..a9854e69 100755
--- a/utils/launch.sh
+++ b/utils/launch.sh
@@ -30,12 +30,10 @@ usage() {
 NAME="$(basename $0)"
 REAL_NAME="$(readlink -f $0)"
 HERE="$(cd "$(dirname "$REAL_NAME")" && pwd)"
-PORT="6080"
-VNC_DEST="localhost:5900"
-CERT=""
-WEB=""
+PORT="${PORT:-6080}"
+VNC_DEST="${VNC_DEST:-localhost:5900}"
 proxy_pid=""
-SSLONLY=""
+
 
 die() {
     echo "$*"