From ab3a9619c72de6d24a132f956944c44948b47dde Mon Sep 17 00:00:00 2001
From: sherrisherry <34172217+sherrisherry@users.noreply.github.com>
Date: Mon, 16 Mar 2020 03:22:36 -0400
Subject: [PATCH] added websocket secure (#86)

---
 graphexp.html             | 1 +
 scripts/graphioGremlin.js | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/graphexp.html b/graphexp.html
index 654423a..7ae324c 100644
--- a/graphexp.html
+++ b/graphexp.html
@@ -145,6 +145,7 @@ <h1 class="header-heading">Graph Explorer v 0.6</h1>
 						<label for="server_protocol">Protocol:</label>
 						<select name="server_protocol" id="server_protocol">
 							<option value="websocket">websocket</option>
+							<option value="websockets">websocket secure</option>
 							<option value="REST">REST</option>
 						</select>
 					</div>
diff --git a/scripts/graphioGremlin.js b/scripts/graphioGremlin.js
index 6b73d65..2184ffa 100644
--- a/scripts/graphioGremlin.js
+++ b/scripts/graphioGremlin.js
@@ -227,6 +227,10 @@ var graphioGremlin = (function(){
 				let server_url = "ws://"+server_address+":"+server_port+"/gremlin"
 				run_websocket_request(gremlin_query,server_url,query_type,active_node,message,callback);
 			}
+			else if (COMMUNICATION_PROTOCOL == 'websockets'){
+				let server_url = "wss://"+server_address+":"+server_port+"/gremlin"
+				run_websocket_request(gremlin_query,server_url,query_type,active_node,message,callback);
+			}
 			else {
 				console.log('Bad communication protocol. Check configuration file. Accept "REST" or "websocket" .')
 			}