tree 73cbda27be4b4ca5ea5ecde283d36519bc6385b8
parent 700aee2352e7876a8c9ff27f155de47858ec1776
author Jakub Josef <jakub.josef@gmail.com> 1496682941 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1496682941 +0200

Job killing function moved to pipeline library

Change-Id: Ib3a7039f99604906bc87045e10aa0dc549937ac1