testing

Author: karottenreibe

agent/src/main/java/com/teamscale/jacoco/agent/AgentBase.java

@@ -136,6 +136,7 @@ void stopServer() {
 			} catch (Exception e) {
 				logger.error("Could not stop server so it is killed now.", e);
 			} finally {
+				// TODO testing
 				server.destroy();
 			}
 		}