From 9bb6db5e2a453911873e6fa069f12a85466473fe Mon Sep 17 00:00:00 2001
From: Simone Basso <bassosimone@gmail.com>
Date: Tue, 26 Sep 2017 12:39:31 +0200
Subject: [PATCH] also print pid after the event

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index c6001a6a..81a557e9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -42,6 +42,7 @@ script:
   - ps auxww|grep oonib|grep -v grep
   - cat oonib.pid
   - kill -TERM `cat oonib.pid`
+  - ps auxww|grep oonib|grep -v grep
   #- chmod +x .travis.test.sh && ./.travis.test.sh 30 ./bin/oonib
   - echo "Build successful."
   - $(which coverage) run $(which trial) oonib