002+ prompt> caught Generator exceptionPHP Warning: PHP Startup: readline: Unable to initialize module
003+ Module compiled with build ID=API20170718,TS
004+ PHP compiled with build ID=API20170718,TS,debug
002- prompt> caught Generator exception
003- [Script ended normally]
004- prompt>
005+ These options need to match
006+ in Unknown on line 0
007+
008+ Warning: PHP Startup: readline: Unable to initialize module
009+ Module compiled with build ID=API20170718,TS
010+ PHP compiled with build ID=API20170718,TS,debug
011+ These options need to match
012+ in Unknown on line 0
013+
014+ [Script ended normally]
015+ prompt>
016+ Warning: PHP Startup: readline: Unable to initialize module
017+ Module compiled with build ID=API20170718,TS
018+ PHP compiled with build ID=API20170718,TS,debug
019+ These options need to match
020+ in Unknown on line 0