added websocket secure (#86)

bricaud · Mar 16, 2020 · ab3a961 · ab3a961
1 parent 03cd908
commit ab3a961
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git 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
@@ -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" .')
 			}