mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-04-21 17:29:28 -05:00
Code Issues Packages Projects Releases Wiki Activity

Docker code optimization

Browse Source
This commit is contained in:
bergware
2018-03-23 12:39:22 +01:00
parent 84674ba64e
commit 1b99f04f01
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/dynamix.docker.manager/include/ContainerManager.php
+2 -2
View File
@@ -16,10 +16,10 @@ $user_prefs = '/boot/config/plugins/dockerMan/userprefs.cfg';
# controlled docker execution
function docker($cmd, &$var=null) {
return $var===null ? exec("timeout 20 docker $cmd 2>/dev/null") : exec("timeout 20 docker $cmd 2>/dev/null",$var);
return exec("timeout 20 docker $cmd 2>/dev/null",$var);
}
$all_containers=[]; docker("ps -a --format='{{.Names}}'",$all_containers);
$all_containers=[]; docker("ps -a --format='{{.Names}}'", $all_containers);
if (file_exists($user_prefs)) {
$prefs = parse_ini_file($user_prefs); $sort = [];