From 19f8666170e5ad7727d9fe5e256786da991b58fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= Date: Tue, 24 Mar 2015 13:28:11 +0100 Subject: [PATCH] vbox_auto_win7_share: adapt to new DHCP behavior Issue #1327. --- repos/ports/run/vbox_auto_win7_share.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/run/vbox_auto_win7_share.run b/repos/ports/run/vbox_auto_win7_share.run index ac1def3b1..f6b6a1aeb 100644 --- a/repos/ports/run/vbox_auto_win7_share.run +++ b/repos/ports/run/vbox_auto_win7_share.run @@ -242,7 +242,7 @@ build_boot_image $boot_modules # # Step 2: Read out TCP/IP address of tcp_terminal running on Genode target # -run_genode_until {\[init -> tcp_terminal\] listening on port 8888\.\.\.} 20 +run_genode_until {\[init -> tcp_terminal\] .{1,5}got IP address [0-9]+\.[0-9]+\.[0-9]+\.[0-9]+} 20 set serial_id [output_spawn_id] regexp {\[init -> tcp_terminal\] .{1,5}got IP address [0-9]+\.[0-9]+\.[0-9]+\.[0-9]+} $output serial_ip_addr