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 |
|