fix not-successfully-kill issue (#968)

130a2132 · QuanluZhang · GitHub · 69b2e9aa · 130a2132
Unverified Commit 130a2132 authored Apr 11, 2019 by QuanluZhang Committed by GitHub Apr 11, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/nni_manager/core/nnimanager.ts src/nni_manager/core/nnimanager.ts +1 -1

No files found.
--- a/src/nni_manager/core/nnimanager.ts
+++ b/src/nni_manager/core/nnimanager.ts
@@ -347,7 +347,7 @@ class NNIManager implements Manager {
            await delay(1000);
        }
        try {
-            await cpp.exec(`kill ${this.dispatcherPid}`);
+            await cpp.exec(`kill -9 ${this.dispatcherPid}`);
        } catch (error) {
            // this.tunerPid does not exist, do nothing here
        }