From 89b2149045611efe9b4b494bffd29b505f9fc2bf Mon Sep 17 00:00:00 2001
From: Gnieark <rpasserieu@ch-boispetit.fr>
Date: Fri, 11 Dec 2015 12:58:38 +0100
Subject: [PATCH] fix php parse error

---
 src/arenas/Battleship/public.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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