Could not init server [T3://126.96.36.199:7001/ProofRunMonitor188.8.131.52]
- with nested exception:
[javax.naming.CommunicationException [Root exception is java.net.ConnectException:
No server found
The owner protected this stack trace.
You have a different solution? A short tip here would help you and many other users who saw this issue last week.
Users with the same issue
You’re the first here who have seen this exception.