Joris Vink 891f3454ce Move the default pid file to kore.pid instead of /var/run/kore.pid		2014-08-05 13:10:34 +02:00
..
kore.conf.example	Move the default pid file to kore.pid instead of /var/run/kore.pid	2014-08-05 13:10:34 +02:00