Copy the player list in pbot.py so we kill all players.
authorW. Trevor King <wking@drexel.edu>
Tue, 7 Dec 2010 16:49:03 +0000 (11:49 -0500)
committerW. Trevor King <wking@drexel.edu>
Tue, 7 Dec 2010 16:49:03 +0000 (11:49 -0500)
commit9462e654de88566b32eecaa193a84ff9738e42d5
treeb13f6bf1d435d05ce75889065a2fb0e44716ce83
parent0748479044dc40f3e84f67473d7cfa82e72c4dac
Copy the player list in pbot.py so we kill all players.

In the previous implementation, Table removed players from the list as
they died, so the `finally` block in pbot.py only killed the winner.
pbot.py