Thanks for your reply Till, After an upgrade, /usr/bin/php is now 7.1 and server.sh refers to /usr/bin/php. Should I symlink /usr/bin/php to php70?
Got the same problem after updating PHP7.1... I manually set /usr/bin/php to /usr/bin/php5.6 in server.sh to solve the problem temporarily.
Separate names with a comma.
