don't change to string in prune_deadguys()

diff --git a/include/acl_selectors.php b/include/acl_selectors.php
index d2042b1a8205a18fd339f41b5de00086b39b78fc..6c0222e1c4f969d6fcf46d616999a6a88c5fdcdf 100644 (file)
--- a/include/acl_selectors.php
+++ b/include/acl_selectors.php
@@ -239,7 +239,7 @@ function prune_deadguys($arr) {
        if($r) {
                $ret = array();
                foreach($r as $rr) 
-                       $ret[] = $rr['id'];
+                       $ret[] = intval($rr['id']);
                return $ret;
        }
        return array();