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



I recently built a new box and did a fresh install of Ubuntu 20.04 on it.
I just tried the Java VM monitor on it under Isabelle2021-RC3 and it worked OK.
So I guess you are right, but I don't have a clue what is causing the issue on
my old box.


On 2/1/21 10:11 AM, Makarius wrote:
> 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.
> 
> 
> 	Makarius
> 







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