mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-05-03 08:19:27 -05:00
Code Issues Packages Projects Releases Wiki Activity

killall and pgrep updates.

Browse Source 
Set --ns $$ on commands.
This commit is contained in:
SimonFair
2024-10-10 19:18:54 +01:00
parent 3c007fa1d0
commit 80d567dfde
25 changed files with 38 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files
emhttp/plugins/dynamix.plugin.manager/Plugins.page
+1 -1
View File
@@ -19,7 +19,7 @@ Code="e944"
?>
<?
// Remove stale /tmp/plugin/*.plg entries (check that script 'plugin' is not running to avoid clashes)
if (!exec("pgrep -f $docroot/plugins/dynamix.plugin.manager/scripts/plugin")) {
if (!exec('pgrep --ns $$ -f '."$docroot/plugins/dynamix.plugin.manager/scripts/plugin")) {
foreach (glob("/tmp/plugins/*.{plg,txt}", GLOB_NOSORT+GLOB_BRACE) as $entry) if (!file_exists("/var/log/plugins/".basename($entry))) @unlink($entry);
}
$check = $notify['version'] ? 0 : 1;