2034
66%
master: 66%

Ran 11 Oct 2018 02:22PM UTC

Jobs 1

Files 51

Run time 4s

Badge

Embed ▾

Committed 11 Oct 2018 02:18PM UTC coverage: 65.338% (-0.08%) from 65.413%

Build # 2034

Build Type

Pull #480

travis-ci

Committed by

web-flow

Commit Message

Optionally list the WebSocket-side URL in ServerIdentity

This change makes it possible to indicate to the websocket
client where it should contact a given server. In the past, the
websocket side of all servers had to be on port p+1. With
this change, it is possible to indicate in a roster.toml
file the correct URL to use to contact a given server.

Also: Fixed a problem go vet found.

Pull Request Pull Request #480: Optionally list the WebSocket-side URL in ServerIdentity

Run Details

54 of 54 new or added lines in 4 files covered. (100.0%)

5493 of 8407 relevant lines covered (65.34%)

162.02 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
1	63.04	0.0%	simul/monitor/tcpproxy.go
6	82.43	0.27%	websocket.go

Uncovered Existing Lines

Lines	Coverage	∆	File
2	90.26	-0.75%	network/local.go
2	76.4	-0.8%	network/tls.go
11	75.32	-2.92%	network/router.go

Jobs

ID	Job ID	Ran	Files	Coverage
1	2034.1	11 Oct 2018 02:22PM UTC	51	65.34	Travis Job 2034.1

dedis / onet / 2034
66%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Uncovered Existing Lines

Jobs

Source Files on build 2034

dedis / onet / 2034 66% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Uncovered Existing Lines

Jobs

Source Files on build 2034

dedis / onet / 2034
66%
master: 66%

README BADGES
x