Exit PHP command prompt in Docker container

Supposedly should be obvious, but neither exit() nor Ctrl-C work.