chiark / gitweb /
Mirroring: Avoid breaking out of loop due to exec