From 76d0bfd34271037b3acfa0e4d751cb5acbe36a8a Mon Sep 17 00:00:00 2001
From: Gnieark <gnieark@free.fr>
Date: Fri, 18 Dec 2015 20:42:54 +0100
Subject: [PATCH] cast post var

---
 html/StupidIABattleship.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/StupidIABattleship.php b/html/StupidIABattleship.php
index 2dfd9c6..fd59d89 100644
--- a/html/StupidIABattleship.php
+++ b/html/StupidIABattleship.php
@@ -207,7 +207,7 @@ switch($_POST['act']){
         echo json_encode($shipsCoords);
         break;
     case "fight":
-      if((is_int(settype($_POST['width'],"integer"))) && (is_int(settype($_POST['height'],"integer"))){
+      if((is_int(settype($_POST['width'],"integer"))) && (is_int(settype($_POST['height'],"integer")))){
 	echo rand(0,$_POST['width']).",".$_POST['height'];
       }else{
 	echo "boaf".$_POST['width']."-".$_POST['height'];