Missing pid file for seafile-controller in 6.0.8 comm. ed. (for logrotate)

I‘m using community edition 6.0.8 with seahub in fastcgi-mode (behind Apache) and want to implement logrotating described in https://manual.seafile.com/deploy/using_logrotate.html
But i can‘t find the pid file for seafile-controller.
I‘ve tested also in normal mode, but there isn‘t no pid file for seafile-controller, too.
seaf-server.pid and ccnet.pid are available.
Is pid file for seafile-controller just implemented in pro version?

I’m using the Server for Raspberry Pi

Do you mean pids/controller.pid not exist?

Yes, the file pids/controller.pid does not exist. I have searched for all pid files in home directory of seafile and just found the following pid files:
pids/seaf-server.pid
pids/ccnet.pid
seafile-server-6.0.8/runtime/seahub.pid

I think it is missing right now. Can you try to use pgrep seafile-controller to get the pid of controller?

ps aux | grep seafile-controller shows:
lars 12991 0.0 0.0 8172 1908 ? Ss Mar30 0:11 /home/lars/fotos/seafile-server-6.0.8/seafile/bin/seafile-controller -c /home/lars/fotos/ccnet -d /home/lars/fotos/seafile-data -F /home/lars/fotos/conf
Maybe there is missing one parameter for pid file?
Is the Signal USR1 really implement in seafile-controller for reopening logfile? Or should I use copytruncate and delaycompress for logrotate instead of kill -USR1 in postrotate?

For now you can set the SEAFILE_PIDFILE env variable. See https://github.com/haiwen/seafile/issues/188#issuecomment-18258389

Same issue here. Fresh 6.1.1 on Ubuntu 16.04, no controller.pid being created inside pids/, thus logrotate fails for controller.log with scripts taken from: https://manual.seafile.com/deploy/using_logrotate.html

Please either fix the manual (so it works with default setup), or guide me/us into how to ensure controller.pid is being created, and update the documentation accordingly.

UPDATE: Uh wait, the script should check via [ ! -f {{ seafile_home }}/pids/controller.pid ] || kill -USR1 'cat {{ seafile_home }}/pids/controller.pid' if the file exists at all. But then why is my logrotate failing with:

/etc/cron.daily/logrotate:
logrotate_script: 2: kill: No such process

error: error running shared postrotate script for '/srv/seafile/logs/seafile.log

run-parts: /etc/cron.daily/logrotate exited with return code 1