#! /bin/bash

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

(
   until curl localhost:39909; do
      sleep 1
   done
   pushd /main/testdata
   bash ./migrate.sh 192.168.0.86:44112 localhost:39909
) &

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