Re: [isabelle] Isabelle2021-RC0: Java/VM monitor

On 10/01/2021 20:24, Eugene W. Stark wrote:
> The look-and-feel is different under Isabelle2021-RC2, but the behavior is the same.
> I do not know of any "special security settings" in place.  The JConsole Connection
> dialog lists the isabelle.Main process and attempts to connect to it, but does not
> succeed.

I suppose this is still unchanged in Isabelle2021-RC4?

Nobody else has reported this problem so far. There must be something special
on your Linux box to prevent local JVM process connections.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.