Fix several problems in linux_find_root_device
authorAntonio Ospite <ospite@studenti.unina.it>
Fri, 30 Sep 2011 20:49:38 +0000 (22:49 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Fri, 30 Sep 2011 20:49:38 +0000 (22:49 +0200)
'stat' returns the major and minor numbers in hexadecimal, while
'mountpoint' returns them in decimal; convert the ones from 'stat' so
comparison actually work.

Rename variables to reflect better the difference between the DEVICE
representation (major:minor) and the NODE representation (a path of a
file under /dev).

Finally fix the invocation of linux_find_root_device as well.


No differences found