tree 73826a0145b89e9188ef4266a90ea8c6d225544c
parent e5735e4bb0da8e922f242fa6d666462047d28a1a
author Michael Blow <mblow@apache.org> 1554255219 -0400
committer Michael Blow <mblow@apache.org> 1554331225 -0700

[NO ISSUE] Use RuntimeMXBean.getPid() when available

Change-Id: Ic2371171dfc01423921c2e2d04fbc68a38978f2e
Reviewed-on: https://asterix-gerrit.ics.uci.edu/3312
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Contrib: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Till Westmann <tillw@apache.org>