Merge branch 'fix-7' into 'master'

Julien Poulton · Julien Poulton · commit 2f92257372d9 · 2018-12-12T15:32:35.000Z
Added proper process cleanup (fixes #7). See merge request codingame/game-engine!140
diff --git a/runner/src/main/java/com/codingame/gameengine/runner/CommandLinePlayerAgent.java b/runner/src/main/java/com/codingame/gameengine/runner/CommandLinePlayerAgent.java
@@ -69,5 +69,6 @@ protected void runInputOutput() throws Exception {
 
     @Override
     public void destroy() {
+        process.destroy()
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -69,5 +69,6 @@ protected void runInputOutput() throws Exception {`
`69`	`69`
`70`	`70`	`@Override`
`71`	`71`	`public void destroy() {`
	`72`	`+ process.destroy()`
`72`	`73`	`}`
`73`	`74`	`}`