2023-08-28 14:09:31 -05:00
|
|
|
// Ping Schema
|
2023-08-31 22:14:35 -05:00
|
|
|
namespace test::idl::ping
|
2023-08-28 14:09:31 -05:00
|
|
|
|
2023-08-31 22:14:35 -05:00
|
|
|
import test::idl::health
|
|
|
|
|
|
|
|
const LOW_PING_RATE: u16 = 20
|
2023-08-28 14:09:31 -05:00
|
|
|
|
|
|
|
|
|
|
|
/// Ping another address
|
|
|
|
@provider=Any
|
|
|
|
protocol Ping {
|
2023-08-31 22:14:35 -05:00
|
|
|
function ping() -> bool;
|
2023-08-28 14:09:31 -05:00
|
|
|
|
|
|
|
@timeout_ms=1000
|
2023-08-31 22:14:35 -05:00
|
|
|
function ping_limit() -> bool;
|
2023-08-28 14:09:31 -05:00
|
|
|
}
|
|
|
|
|