diff --git a/app/devices/device_edit.php b/app/devices/device_edit.php
index d8b670a1fb..10f5035460 100644
--- a/app/devices/device_edit.php
+++ b/app/devices/device_edit.php
@@ -1316,7 +1316,7 @@
if (permission_exists('device_line_server_address_primary')) {
echo "
\n";
- if (!empty($settings->get('provision', 'server_address_primary', ''))) {
+ if (!empty($settings->get('provision', 'server_address_primary', '')) && is_array($settings->get('provision', 'server_address_primary', ''))) {
echo " |