From 4bc10371a79b7f33006ff343c7647f7ac9bc0c08 Mon Sep 17 00:00:00 2001
From: gnieark <gnieark@free.fr>
Date: Fri, 11 Dec 2015 13:16:40 +0100
Subject: [PATCH] fix js names of bots

---
 src/arenas/Battleship/public.php | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/arenas/Battleship/public.php b/src/arenas/Battleship/public.php
index e6f5750..f62943a 100644
--- a/src/arenas/Battleship/public.php
+++ b/src/arenas/Battleship/public.php
@@ -27,11 +27,11 @@ if(!$postParams){
                     <?php
                     for($i=0;$i<count($bots);$i++){
                         if($i==$bot1)
-                        $selected='selected="selected"';
+                            $selected='selected="selected"';
                         else
-                        $selected='';
+                            $selected='';
                         
-                        echo '<option value="'.$i.'" '.$selected.'>'.$bots[$i]['name'].'</option>';
+                        echo '<option value="'.$i."-".$bots[$i]['name'].'" '.$selected.'>'.$bots[$i]['name'].'</option>';
                     }
                     ?>
                 </select>
@@ -40,9 +40,10 @@ if(!$postParams){
                     <?php
                     for($i=0;$i<count($bots);$i++){
                         if($i==$bot2)
-                        $selected='selected="selected"';
+                            $selected='selected="selected"';
                         else
-                        $selected='';
+                            $selected='';
+                            
                         echo '<option value="'.$i."-".$bots[$i]['name'].'" '.$selected.'>'.$bots[$i]['name'].'</option>';
                     }
                     ?>