구버전 첩보 마이그레이션시 지도 표기 버그 수정

hwe/b_currentCity.php

@@ -125,7 +125,7 @@ if($myNation['level'] > 0) {
     if($rawSpy == ''){
         $spyCities = [];
     }
-    else if(strpos($rawSpy, '|') !== false || is_integer($rawSpy)){
+    else if(strpos($rawSpy, '|') !== false || is_numeric($rawSpy)){
         //TODO: 0.8 버전 이후에는 삭제할 것. 이후 버전은 json으로 변경됨.
         $spyCities = array_map(function($val){
             $val = intval($val);

hwe/func_gamerule.php

@@ -396,7 +396,7 @@ function preUpdateMonthly() {
 
     //첩보-1
     foreach($db->queryAllLists("SELECT nation, spy FROM nation WHERE spy!='' AND spy!='{}'") as [$nationNo, $rawSpy]){
-        if (strpos($rawSpy, '|') !== false || is_integer($rawSpy)) {
+        if (strpos($rawSpy, '|') !== false || is_numeric($rawSpy)) {
            //TODO: 0.8 버전 이후에는 삭제할 것. 이후 버전은 json으로 변경됨.
            $spyInfo = [];
            foreach(explode('|', $rawSpy) as $value){

hwe/func_map.php

@@ -100,7 +100,7 @@ function getWorldMap($req){
         $rawSpy = $db->queryFirstField('select `spy` from `nation` where `nation`=%i', 
             $myNation);
 
-        if(strpos($rawSpy, '|') !== false || is_integer($rawSpy)){
+        if(strpos($rawSpy, '|') !== false || is_numeric($rawSpy)){
             //NOTE: 0.8 이전 데이터가 남아있으므로, 0.8버전으로 마이그레이션 이후에도 이곳은 삭제하면 안됨
             $spyInfo = [];
             foreach(explode('|', $rawSpy) as $value){

hwe/func_process.php

@@ -1750,7 +1750,7 @@ function process_31(&$general) {
         if($rawSpy == ''){
             $spyInfo = [];
         }
-        else if(strpos($rawSpy, '|') !== false || is_integer($rawSpy)){
+        else if(strpos($rawSpy, '|') !== false || is_numeric($rawSpy)){
             //TODO: 0.8 버전 이후에는 삭제할 것. 이후 버전은 json으로 변경됨.
             $spyInfo = [];
             foreach(explode('|', $rawSpy) as $value){