2017-01-11 00:54:25 +01:00
|
|
|
type hal_gatekeeper_default, domain;
|
2017-03-17 02:48:40 +01:00
|
|
|
hal_server_domain(hal_gatekeeper_default, hal_gatekeeper)
|
2016-10-20 20:20:25 +02:00
|
|
|
|
2017-01-11 00:54:25 +01:00
|
|
|
type hal_gatekeeper_default_exec, exec_type, file_type;
|
2016-10-20 20:20:25 +02:00
|
|
|
init_daemon_domain(hal_gatekeeper_default);
|