OPCache needs to be disabled - Is that forever?

mwilliams
sorry, i didn't mean to say it was your fault.
now I understand that it is a bug in the php opcache module.
I would also like to thank the grommunio team for their great work. especially for the quick support in the community forum!