Installing onderj's PPA psmisc fixed the issue for us (without editing the php5 cron). Thanks Ondrej!
Installing onderj's PPA psmisc fixed the issue for us (without editing the php5 cron). Thanks Ondrej!