6
74%
develop: 74%

Ran 30 May 2019 08:13PM UTC

Files 387

Run time 19s

Badge

Embed ▾

Committed 30 May 2019 07:51PM UTC coverage: 66.645% (-0.08%) from 66.723%

Job # TEST_AIIDA_BACKEND=django TEST_TYPE="tests"

Build Type

push

travis-ci

Committed by

sphuber

Commit Message

Deal with stale daemon PID files during stop attempts (#2795)

In some circumstances, the circus PID file which stores the PID of the
running circus process, can be corrupted or not deleted properly,
causing calls to `is_daemon_running` to return a false positive.

This situation can arise if a system is shut down suddenly and so
the process is killed but the PID file is not deleted in time.
Alternatively, another process or the user may have meddled with the
PID file in some way, corrupting it.

Here, we implement a function that checks for stale PID files by
checking whether the PID contained in the PID file matches a valid
running `verdi `process. If it does not, a warning is emitted and the
PID file is deleted. This function is called when `verdi daemon stop` is
called, making it function as a hard reset in a situation of a stale PID.

Co-authored-by: Giovanni Pizzi <giovanni.pizzi@epfl.ch>

Run Details

21713 of 32580 relevant lines covered (66.65%)

0.67 hits per line

aiidateam / aiida_core / 6228 / 6
74%
develop: 74%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6228.6 (TEST_AIIDA_BACKEND=django TEST_TYPE="tests")

aiidateam / aiida_core / 6228 / 6 74% develop: 74%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6228.6 (TEST_AIIDA_BACKEND=django TEST_TYPE="tests")

aiidateam / aiida_core / 6228 / 6
74%
develop: 74%

README BADGES
x