From d7881b7dc5fd8d5d34b79e7f45f41153085334fb Mon Sep 17 00:00:00 2001
From: Luis Daniel Lucio Quiroz <dlucio@okay.com.mx>
Date: Fri, 19 Jun 2020 11:00:02 -0400
Subject: [PATCH] [4.5] Use INT instead of NUMERIC (#5311)

---
 app/devices/device_copy.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/devices/device_copy.php b/app/devices/device_copy.php
index 588d612896..a383e4f871 100644
--- a/app/devices/device_copy.php
+++ b/app/devices/device_copy.php
@@ -99,7 +99,7 @@
 	$sql .= "when 'programmable' then 3 ";
 	$sql .= "when 'expansion' then 4 ";
 	$sql .= "else 100 END, ";
-	$sql .= "cast(device_key_id as numeric) asc ";
+	$sql .= "cast(device_key_id as int) asc ";
 	$parameters['device_uuid'] = $device_uuid;
 	$database = new database;
 	$device_keys = $database->select($sql, $parameters, 'all');