From a392ee2afac38e7827d926e84a987907b6610238 Mon Sep 17 00:00:00 2001
From: gnieark <gnieark@free.fr>
Date: Sat, 12 Dec 2015 10:46:38 +0100
Subject: [PATCH] correct bot id

---
 src/arenas/Battleship/public.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/arenas/Battleship/public.php b/src/arenas/Battleship/public.php
index f62943a..7914490 100644
--- a/src/arenas/Battleship/public.php
+++ b/src/arenas/Battleship/public.php
@@ -31,7 +31,7 @@ if(!$postParams){
                         else
                             $selected='';
                         
-                        echo '<option value="'.$i."-".$bots[$i]['name'].'" '.$selected.'>'.$bots[$i]['name'].'</option>';
+                        echo '<option value="'.$bots[$i]['id']."-".htmlentities($bots[$i]['name']).'" '.$selected.'>'.htmlentities($bots[$i]['name']).'</option>';
                     }
                     ?>
                 </select>
@@ -44,7 +44,7 @@ if(!$postParams){
                         else
                             $selected='';
                             
-                        echo '<option value="'.$i."-".$bots[$i]['name'].'" '.$selected.'>'.$bots[$i]['name'].'</option>';
+                        echo '<option value="'.$bots[$i]['id']."-".htmlentities($bots[$i]['name']).'" '.$selected.'>'.htmlentities($bots[$i]['name']).'</option>';
                     }
                     ?>
                 </select></em>