public class AgentQuitRequestInfo
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
AgentId |
getAgentId()
Get the agent that wants to quit
|
void |
setFailed(java.lang.String msg)
Force the request to fail
|
public void setFailed(java.lang.String msg)
msg
- messagedescr
- reason/description tuplepublic AgentId getAgentId()
>DEIS - University of Bologna