#! /bin/bash

(
   pushd /main/testdata/mytinytodo*
   php -S 0.0.0.0:38808
   kill -9 1
) &

exec /main/exec-todo-server "$@"