[PATCH] Fix listing of directory contents for root device

[Francesco Lavra]

Since revision 5010, issuing the ls command with a path not including 
the device name results in a NULL pointer dereference. This patch fixes 
the above by reverting one of the three hunks of the patch applied to 
create revision 5010.

Regards,
Francesco

2013-06-02  Francesco Lavra  <address@hidden>

        * grub-core/kern/corecmd.c (grub_core_cmd_ls): Fix handling of paths
        without a device name.

=== modified file 'grub-core/kern/corecmd.c'
--- grub-core/kern/corecmd.c    2013-05-15 08:11:25 +0000
+++ grub-core/kern/corecmd.c    2013-06-02 13:42:53 +0000
@@ -134,7 +134,7 @@
 
       fs = grub_fs_probe (dev);
       path = grub_strchr (argv[0], ')');
-      if (! *path)
+      if (! path)
        path = argv[0];
       else
        path++;