From 82790c37d0b3461a8a49c5b800435b06cc1899b3 Mon Sep 17 00:00:00 2001
From: Gnieark <rpasserieu@ch-boispetit.fr>
Date: Fri, 11 Dec 2015 12:16:17 +0100
Subject: [PATCH] fix php lis of availabes bots on battleship arena

---
 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 3978916..d3eaad2 100644
--- a/src/arenas/Battleship/public.php
+++ b/src/arenas/Battleship/public.php
@@ -1,7 +1,7 @@
 <?php
 require_once(__DIR__."/functions.php");
 
-$bots=get_Bots_Array('"Battleship');
+$bots=get_Bots_Array('Battleship');
 $postParams=get_Post_Params(count($bots));
 if(!$postParams){
   $bot1="";