Enhanced docker edit box [6]

2026-04-23 02:31:45 -05:00 · 2016-05-16 14:23:00 +02:00
parent cc13536d57
commit 633a799912
1 changed files with 1 additions and 0 deletions
@@ -437,6 +437,7 @@ function getUsedPorts() {
    if (!in_array($name,$names)) continue;
    $list = []; $p = 0;
    $list['Name'] = $name;
+    $list['Port'] = '';
    while ($port = getXmlVal($file,'HostPort',null,$p++)) $list['Port'] .= $port.' ';
    $ports[] = $list;
  }