phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use wss protocol

Browse Source
This commit is contained in:
Alexander Bentkamp
2022-11-16 11:52:52 +01:00
parent 6acc8e0969
commit 5e64ef848d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/App.tsx
+1 -1
View File
@@ -24,7 +24,7 @@ function App() {
const [finished, setFinished] = useState(false) const [finished, setFinished] = useState(false)
const [rpcConnection, setRpcConnection] = useState<null|rpc.MessageConnection>(null) const [rpcConnection, setRpcConnection] = useState<null|rpc.MessageConnection>(null)
const socketUrl = 'ws://' + window.location.host + '/websocket/' const socketUrl = ((window.location.protocol === "https:") ? "wss://" : "ws://") + window.location.host + '/websocket/'
useWebSocket(socketUrl, { useWebSocket(socketUrl, {
onOpen: function (ev) { onOpen: function (ev) {