Commit Graph

4 Commits

Author SHA1 Message Date
Rehan MALAK
08c28f2513 homogenize the way we kill background processes
kill_bg :
        -takes the PID of the process to kill
        -differentiates the sudo case from the non-sudo case
2018-05-19 20:11:35 +02:00
Rehan MALAK
083c37802a node killed with a simple "kill -9"
only sudo commands need the "pgrep ... | sudo xargs kill -9" trick
2018-05-19 16:28:08 +02:00
Rehan MALAK
5f0dd15f1e node killed at the end of 08-native-runs tests
pgrep pattern shoud be smaller than 15 characters
2018-05-19 16:28:08 +02:00
George Oikonomou
5919f120a5 Add data structure library test on platform native 2017-12-13 16:38:50 +00:00