BF: Correctly kill the background eddy process(es)
Compare changes
- Matthew Webster authored
@@ -4,6 +4,8 @@
@@ -4,6 +4,8 @@
@@ -40,15 +42,18 @@ if which eddy_openmp &> /dev/null; then
@@ -40,15 +42,18 @@ if which eddy_openmp &> /dev/null; then