Push before platform switch

web/SystemAO/disk/diskmg.html

@@ -650,11 +650,13 @@
                           var diskID = thisDisk["name"];
                           if (thisDisk["children"] === undefined || thisDisk["children"] === null){
                               //This disk do not have any child. Assume a large read-only raw partition.
-                              var size = thisDisk[size] || 0;
+                              var size = thisDisk["size"] || 0;
+                              var partitionID = thisDisk["name"] || "✖";
+                              console.log(thisDisk);
                               disks[diskID] = {
                                   "partitionsTotalSize":size,
                                   "partitionNames":["Raw"],
-                                  "partitionID":["✖"],
+                                  "partitionID":[partitionID],
                                   "partitionVolume":[size],
                                   "Type":[thisDisk["type"]],
                                   "Mounted":[thisDisk["mountpoint"] !== null],