| author | nipkow |
| Fri, 07 Feb 2025 21:27:11 +0100 | |
| changeset 82102 | 15261d78d7b5 |
| parent 74360 | 9e71155e3666 |
| permissions | -rwxr-xr-x |
|
72976
51442c6dc296
more robust Java monitor: avoid odd warning about insecure connection;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
51442c6dc296
more robust Java monitor: avoid odd warning about insecure connection;
wenzelm
parents:
diff
changeset
|
2 |
# |
|
51442c6dc296
more robust Java monitor: avoid odd warning about insecure connection;
wenzelm
parents:
diff
changeset
|
3 |
# Author: Makarius |
|
51442c6dc296
more robust Java monitor: avoid odd warning about insecure connection;
wenzelm
parents:
diff
changeset
|
4 |
# |
|
51442c6dc296
more robust Java monitor: avoid odd warning about insecure connection;
wenzelm
parents:
diff
changeset
|
5 |
# DESCRIPTION: monitor another Java process |
|
51442c6dc296
more robust Java monitor: avoid odd warning about insecure connection;
wenzelm
parents:
diff
changeset
|
6 |
|
|
74360
9e71155e3666
grant access to sun.tools.jconsole, as required for Java 17;
wenzelm
parents:
72981
diff
changeset
|
7 |
isabelle java "-Dapple.awt.application.name=Java Monitor" --add-opens jdk.jconsole/sun.tools.jconsole=ALL-UNNAMED isabelle.Java_Monitor "$@" |