Joris Vink b27322933b The default pid file is kore.pid so no need to set that explicitely

2014-08-05 13:11:53 +02:00

..

generic.conf

The default pid file is kore.pid so no need to set that explicitely

2014-08-05 13:11:53 +02:00