passing_agents.sh 304 Bytes
Newer Older
1 2
#!/bin/bash

3
./bin/HFO --offense-agents=2 --no-sync --fullstate &
4
sleep 5
5
./example/communication_agent 6000 &
6
sleep 5
7
./example/communication_agent 6000 &
8 9 10 11 12 13

# The magic line
#   $$ holds the PID for this script
#   Negation means kill by process group id instead of PID
trap "kill -TERM -$$" SIGINT
wait