Integrated: 6941: build.sh does not terminate jetty after executing '--packageJmc'

[Patrick Reinhart]

On Thu, 15 Oct 2020 19:42:53 GMT, Patrick Reinhart <reinhapa at openjdk.org> wrote:

> stopping jetty instance using kill command working on Mac & Linux

This pull request has now been integrated.

Changeset: 8129eddd
Author:    Patrick Reinhart <reinhapa at openjdk.org>
Committer: Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/8129eddd
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

6941: build.sh does not terminate jetty after executing '--packageJmc'

Reviewed-by: hirt

-------------

PR: https://git.openjdk.java.net/jmc/pull/130