toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
virt-api
/
dev.ust.zinc.grader.exception.virt
/
EngineDisconnectedException
/
EngineDisconnectedException
Engine
Disconnected
Exception
constructor
(
hostname
:
String
,
cause
:
Throwable
?
)
Parameters
hostname
Name of the host which has disconnected.