2016-12-16 13:20:25 -08:00
|
|
|
# health info abstraction
|
2017-01-10 15:54:25 -08:00
|
|
|
type hal_health_default, domain;
|
2017-03-16 18:48:40 -07:00
|
|
|
hal_server_domain(hal_health_default, hal_health)
|
2016-12-16 13:20:25 -08:00
|
|
|
|
2017-04-10 13:03:28 -07:00
|
|
|
type hal_health_default_exec, exec_type, vendor_file_type, file_type;
|
2016-12-16 13:20:25 -08:00
|
|
|
init_daemon_domain(hal_health_default)
|