From 9ea0389e8eac6d750497e2f73e387a66eaca0f64 Mon Sep 17 00:00:00 2001
From: Gnieark <gnieark@free.fr>
Date: Fri, 18 Dec 2015 20:42:32 +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 bf3ecd4..2dfd9c6 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'];