crans/crans_bcfg2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[cochon] Ajout d'un groupe radio pour monit de services

Browse source
This commit is contained in:
Valentin Samir 2013-09-04 10:55:45 +02:00
parent ab98b884db
commit 134d95af8d
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Metadata/groups.xml
View file

@ -318,6 +318,7 @@
profile="true">
<Group name="mumudvb"/>
<Group name="crans-wheezy"/>
<Group name="radio"/>
</Group>
<Group name="jouvence"

4
Python/etc/monit/services
View file

@ -65,6 +65,10 @@ if has('nginx'):
if has('cgi'):
service(name='fcgiwrap', pidp='/var/run/fcgiwrap.pids')
if has('radio'):
service(None, name='radio-vlc', start_cmd = "/etc/init.d/radio start", stop_cmd = "/etc/init.d/radio stop", pidp='/tmp/multicast.pid')
service(None, name='radio-igmp', start_cmd = "/etc/init.d/igmp start", stop_cmd = "/etc/init.d/igmp stop", pidf='igmp')
if has('gunicorn'):
# on utilise le prob gunicorn-debian, qui liste les sites actifs sur
# /etc/gunicorn.d/