6
96%
master: 96%

Ran 12 Jun 2017 07:39AM UTC

Files 8

Run time 0s

Badge

Embed ▾

Committed 12 Jun 2017 07:17AM UTC coverage: 96.296%. Remained the same

Job # 30.6

Build Type

push

travis-ci

Committed by

skirino

Commit Message

v0.3.1: Fix bug: blocking checkout incorrectly returns a dead pid

It happens in the following situation:
- a client process has been waiting for a reply to blocking checkout
- a worker is killed during execution of a fun passed to `transaction/3`
- PoolSup process receives checkin message prior to EXIT

Run Details

234 of 243 relevant lines covered (96.3%)

68055.07 hits per line

skirino / pool_sup / 30 / 6
96%
master: 96%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 30.6

skirino / pool_sup / 30 / 6 96% master: 96%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 30.6

skirino / pool_sup / 30 / 6
96%
master: 96%

README BADGES
x