mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-04-22 01:40:58 -05:00
Code Issues Packages Projects Releases Wiki Activity

Docker code optimization

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