From f5089dab1a1662230823b48bd376fa69d7b61d33 Mon Sep 17 00:00:00 2001
From: Johannes Meyer <johannes.meyer@netways.de>
Date: Tue, 7 Jul 2015 14:07:55 +0200
Subject: [PATCH] DbUserGroupBackend: Use is_numeric() instead of is_int()

Using MySQL fetchColumn() returns integers for id fields, using MariaDB
though, fetchColumn() returns strings..

fixes #9572
---
 .../Icinga/Authentication/UserGroup/DbUserGroupBackend.php    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/Icinga/Authentication/UserGroup/DbUserGroupBackend.php b/library/Icinga/Authentication/UserGroup/DbUserGroupBackend.php
index e59b03258..0fd3fda14 100644
--- a/library/Icinga/Authentication/UserGroup/DbUserGroupBackend.php
+++ b/library/Icinga/Authentication/UserGroup/DbUserGroupBackend.php
@@ -229,12 +229,12 @@ class DbUserGroupBackend extends DbRepository implements UserGroupBackendInterfa
      */
     protected function persistGroupId($groupName)
     {
-        if (! $groupName || empty($groupName) || is_int($groupName)) {
+        if (! $groupName || empty($groupName) || is_numeric($groupName)) {
             return $groupName;
         }
 
         if (is_array($groupName)) {
-            if (is_int($groupName[0])) {
+            if (is_numeric($groupName[0])) {
                 return $groupName; // In case the array contains mixed types...
             }