| ##################################### | |
| # qmux_socket(clientdomain) | |
| # Allow client domain to connecto and send | |
| # via a local socket to the qmux domain. | |
| # Also allow the client domain to remove | |
| # its own socket. | |
| define(`qmux_socket', ` | |
| type $1_qmuxd_socket, file_type; | |
| file_type_auto_trans($1, qmuxd_socket, $1_qmuxd_socket) | |
| allow $1 qmuxd_socket:dir remove_name; | |
| unix_socket_connect($1, qmuxd, qmuxd) | |
| allow qmuxd $1_qmuxd_socket:sock_file { getattr unlink }; | |
| ') |