3
3%
master: 3%

Ran 03 Feb 2017 05:35AM UTC

Files 310

Run time 16s

Badge

Embed ▾

Committed 03 Feb 2017 05:07AM UTC coverage: 90.031% (+2.8%) from 87.23%

Job # TEST_SUITE=backend

Build Type

push

travis-ci

Committed by

timabbott

Commit Message

run-dev: Add pid file to development server.

- Add pid file of development processes group, which allows to
  manage development processes group with os utils. Also it allows to
  kill subprocesses  when parent process was closed incorrectly.
- Add tool 'stop_dev_server' to stop development server by pid file.

Fixes #1547

Run Details

25523 of 28349 relevant lines covered (90.03%)

0.9 hits per line

zulip / zulip / 412 / 3
3%
master: 3%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 412.3 (TEST_SUITE=backend)

zulip / zulip / 412 / 3 3% master: 3%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 412.3 (TEST_SUITE=backend)

zulip / zulip / 412 / 3
3%
master: 3%

README BADGES
x