stanford-oval / thingpedia-common-devices / 1764 / 1

40%

master: 40%

push

travis-ci-com

Remove background timer to refresh spotify device

It consumes a lot of resources for a dubious benefit, considering
the common case where the user is not using spotify at all. We can
fetch the Spotify device dynamically when the user requests, at the
cost of a few more milliseconds of API.

226 of 1510 branches covered (14.97%)

Branch coverage included in aggregate %.

879 of 3073 relevant lines covered (28.6%)

1.93 hits per line