entrypoint.sh 295 B

1234567891011121314151617
  1. #!/bin/bash
  2. cd /build/masterserver
  3. make
  4. # delete the compiled plugins that we don't want to run:
  5. rm -f plugins/libef*
  6. x=1
  7. y=5
  8. while [ $x -le $y ]; do
  9. echo "Starting $x/$y times"
  10. x=$(( $x + 1 ))
  11. ./masterserver -p ./plugins
  12. echo The masterserver stopped.
  13. sleep 1
  14. done
  15. echo giving up.