Details

I'm facing the following error message

Cache directory does not exist (/path/to/my/symfony_project/var/cache/prod/pools/ngRSYeFcCP)

on 2 different projects, on production environment, running on multiple servers, with a high traffic.

One project is running Symfony 3.1.5, the other one is running Symfony 3.1.4
Both projects are running Symfony 3.1.7

This error happens ONLY during new deployments (new releases are reachable only after cache:warmup).

The error is thrown when someone calls one of the project routes (the exception is not thrown on cache:warmup)... so it returns a 500 to the user, which is not so nice, even if it occurs only once :)

Questions

• Is this possible that I'm facing a race condition between these lines?
• Does this change in the condition: ... ?: (file_exists($dir) ? $dir : false)) will fix this issue? And if so, will this be available in 3.1.7?

Thank you!