2017-01-10 15:54:25 -08:00
|
|
|
type hal_gatekeeper_default, domain;
|
2017-03-16 18:48:40 -07:00
|
|
|
hal_server_domain(hal_gatekeeper_default, hal_gatekeeper)
|
2016-10-20 11:20:25 -07:00
|
|
|
|
2017-04-10 13:03:28 -07:00
|
|
|
type hal_gatekeeper_default_exec, exec_type, vendor_file_type, file_type;
|
2016-10-20 11:20:25 -07:00
|
|
|
init_daemon_domain(hal_gatekeeper_default);
|