mirror of
https://github.com/fluencelabs/tendermint
synced 2025-04-25 06:42:16 +00:00
change server ping period to be less frequent
no need to ping ws every 10 sec
This commit is contained in:
parent
23a87304cc
commit
6c85e4be4f
@ -340,7 +340,7 @@ const (
|
|||||||
writeChanCapacity = 1000
|
writeChanCapacity = 1000
|
||||||
wsWriteWait = 30 * time.Second // each write times out after this.
|
wsWriteWait = 30 * time.Second // each write times out after this.
|
||||||
defaultWSPongWait = 30 * time.Second
|
defaultWSPongWait = 30 * time.Second
|
||||||
defaultWSPingPeriod = 10 * time.Second
|
defaultWSPingPeriod = (defaultWSPongWait * 9) / 10
|
||||||
)
|
)
|
||||||
|
|
||||||
// a single websocket connection
|
// a single websocket connection
|
||||||
|
@ -9,9 +9,6 @@ DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"
|
|||||||
# Change into that dir because we expect that.
|
# Change into that dir because we expect that.
|
||||||
pushd "$DIR"
|
pushd "$DIR"
|
||||||
|
|
||||||
echo "==> Installing deps"
|
|
||||||
go get -v
|
|
||||||
|
|
||||||
echo "==> Building the server"
|
echo "==> Building the server"
|
||||||
go build -o rpcserver main.go
|
go build -o rpcserver main.go
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user