From ba2f88ee72f198b3ced1897a9aaa274a6191502c Mon Sep 17 00:00:00 2001
From: Neil Lathwood <neil@lathwood.co.uk>
Date: Wed, 1 Feb 2017 20:17:35 +0000
Subject: [PATCH] Possible fix for #5318, if delete_device called in webui then
 continue to run (#5703)

* Possible fix for #5318, if delete_device called in webui then continue to run

* derp
---
 includes/functions.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/includes/functions.php b/includes/functions.php
index 7d936482ac..2194139de1 100644
--- a/includes/functions.php
+++ b/includes/functions.php
@@ -316,6 +316,12 @@ function renamehost($id, $new, $source = 'console')
 function delete_device($id)
 {
     global $config, $debug;
+
+    if (isCli() === false) {
+        ignore_user_abort(true);
+        set_time_limit(0);
+    }
+
     $ret = '';
 
     $host = dbFetchCell("SELECT hostname FROM devices WHERE device_id = ?", array($id));