diff --git a/grub-core/net/net.c b/grub-core/net/net.c
index ea1ff7d01..e17c64a71 100644
--- a/grub-core/net/net.c
+++ b/grub-core/net/net.c
@@ -1292,6 +1292,10 @@ grub_net_open_real (const char *name)
       const char *comma;
       char *colon;
       comma = grub_strchr (name, ',');
+      if (!comma)
+	{
+	  comma = grub_strchr (name, ';');
+	}
       colon = grub_strchr (name, ':');
       if (colon)
 	{