fix php fatal error if optional pcntl php extension is not available

of course Worker process interruptions then won't get caught for that pcntl
must be available.
Merge branch 'develop'

* develop:
  fix php fatal error if optional pcntl php extension is not available