james/fembooru
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

convert pool IDs to ints

Browse Source
This commit is contained in:
Shish 2020-03-26 16:50:16 +00:00
parent ecbf4f52a0
commit 2d0b107adb
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ext/pools/main.php
View File

@ -600,7 +600,9 @@ class Pools extends Extension
private function get_pool_ids(int $imageID): array private function get_pool_ids(int $imageID): array
{ {
global $database; global $database;
return $database->get_col("SELECT pool_id FROM pool_images WHERE image_id=:iid", ["iid" => $imageID]); $col = $database->get_col("SELECT pool_id FROM pool_images WHERE image_id=:iid", ["iid" => $imageID]);
$col = array_map('intval', $col);
return $col;
} }
/** /**