1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
int32 TERMINATE_SUCCESS = 0
int32 TERMINATE_ABORTED = 1
int32 TERMINATE_REJECTED = 2
int32 TERMINATE_LOSE = 3
int32 TERMINATE_DROP = 4
int32 TERMINATE_EXCEPTION = 5
int32 terminate_status
bool ignore_cancel # If true, ignores requests to cancel
string result_text
int32 the_result # Desired value for the_result in the Result
bool is_simple_client
duration delay_accept # Delays accepting the goal by this amount of time
duration delay_terminate # Delays terminating for this amount of time
duration pause_status # Pauses the status messages for this amount of time
---
int32 the_result
bool is_simple_server
---
|
