reading uuid of clustered

This commit is contained in:
minjaesong
2023-05-30 17:07:25 +09:00
parent 6bca526f84
commit f47d446ff0
2 changed files with 2 additions and 8 deletions

View File

@@ -56,6 +56,7 @@ class TevdDiskDrive(private val vm: VM, private val driveNum: Int, theTevdPath:
}
}
val diskUUIDstr: String; get() = DOM.uuid.toString()
private val DBGPRN = false
private fun printdbg(msg: Any) {

View File

@@ -29,19 +29,12 @@ class TevdMenu(parent: VMEmuExecutable, x: Int, y: Int, w: Int, h: Int) : EmuMen
if (dev?.javaClass?.simpleName == "TevdDiskDrive") {
val dev = dev as TevdDiskDrive
val DOM = dev.extortField("DOM") as PartialDOM
val DOMfileCache = DOM.extortField("fileCache") as HashMap<EntryID, *>
batch.inUse {
batch.color = Color.WHITE
FONT.draw(batch, "Disk UUID: ${dev.diskUUIDstr}", 12f, 12f)
FONT.draw(batch, "F I L E C A C H E", 12f, 12f+FONT.H)
var row = 2
DOMfileCache.forEach { (id, entry) ->
val str = "${(row-1).toString().padStart(2,' ')}. ID $id (hits: ${entry.extortField("hits")})"
FONT.draw(batch, str, 12f, 12f + FONT.H * row)
row += 1
}
}
}
else {