Added proper process cleanup (fixes #7).

radekmie · Julien · commit 44b7063641a9 · 2018-12-12T16:01:04.000+01:00
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`	`}`