1
66%
master: 66%

Ran 11 Oct 2018 02:22PM UTC

Files 51

Run time 3s

Badge

Embed ▾

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

Job # 2034.1

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

5493 of 8407 relevant lines covered (65.34%)

162.02 hits per line

dedis / onet / 2034 / 1
66%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2034.1

dedis / onet / 2034 / 1 66% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2034.1

dedis / onet / 2034 / 1
66%
master: 66%

README BADGES
x