Re: [PATCH] Set size of partition correctly in grub_disk_open()

[Tomáš Ebenlendr]

Maybe Jeroen (and me) thinks that a 'disk' and 'partition' does not
differ, as  there can be some strange disk with filesystem directly on it
(some flash memories, etc.) and also partitions containing another
partitions. Standard terminology typically defines 'disk' as "root"
partition. I.e. its parent is 'device' instead of partition.

But I haven't seen the code, so this is only guess or proposal how things
can be.

-- 
                                            Tomas 'Ebi' Ebenlendr
                                            http://get.to/ebik