From 7a0e1605c6c5d12e37c3cd15bc836bb5dd9832a6 Mon Sep 17 00:00:00 2001
From: Alex Coseru <alex.coseru@gmail.com>
Date: Tue, 1 Feb 2022 14:58:54 +0200
Subject: [PATCH] Update start_ocean.sh

---
 start_ocean.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/start_ocean.sh b/start_ocean.sh
index 378a497..6a9d062 100755
--- a/start_ocean.sh
+++ b/start_ocean.sh
@@ -99,7 +99,7 @@ else
 fi
 
 #export OPERATOR_SERVICE_URL=http://127.0.0.1:8050
-export OPERATOR_SERVICE_URL=${OPERATOR_SERVICE_URL:-"http://172.15.0.13:31000"}
+export OPERATOR_SERVICE_URL=${OPERATOR_SERVICE_URL:-"http://172.15.0.13:31000/"}
 
 # Add aquarius to /etc/hosts
 # Workaround mainly for macOS