fix(host): fix Windows networking read-readiness detection

.github/workflows/cargo-publish.yml

@@ -1,6 +1,8 @@
 name: Publish to crates.io
 
 on:
+  release:
+    types: [published]
   workflow_dispatch:
     inputs:
       dry_run:

.github/workflows/release.yml

@@ -56,10 +56,3 @@ jobs:
         run: |
           VERSION="${{ steps.version.outputs.version }}"
           gh workflow run publish-examples.yml --ref "v$VERSION"
-
-      - name: Trigger crates.io publish
-        env:
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: |
-          VERSION="${{ steps.version.outputs.version }}"
-          gh workflow run cargo-publish.yml --ref "v$VERSION" -f dry_run=false

.github/workflows/test-examples.yml

@@ -223,6 +223,9 @@ jobs:
           - example: networking-py
             args: "--net -- /urllib_get.py"
             expect: "SUCCESS: urllib GET worked!"
+          - example: networking-py
+            args: "--net -- /urllib_get_no_timeout.py"
+            expect: "SUCCESS: urllib GET \\(no timeout\\) worked!"
           - example: networking-py
             args: "--port 8080 -- /echo_server_test.py"
             expect: "SUCCESS: bind\\+listen on port 8080 allowed"
@@ -613,6 +616,9 @@ jobs:
           - example: networking-py
             args: "--net -- /urllib_get.py"
             expect: "SUCCESS: urllib GET worked!"
+          - example: networking-py
+            args: "--net -- /urllib_get_no_timeout.py"
+            expect: "SUCCESS: urllib GET \\(no timeout\\) worked!"
           - example: networking-py
             args: "--port 8080 -- /echo_server_test.py"
             expect: "SUCCESS: bind\\+listen on port 8080 allowed"

examples/networking-py/Dockerfile

@@ -8,6 +8,7 @@ FROM ${BASE} AS rootfs
 COPY http_get.py /http_get.py
 COPY echo_server.py /echo_server.py
 COPY urllib_get.py /urllib_get.py
+COPY urllib_get_no_timeout.py /urllib_get_no_timeout.py
 COPY https_test.py /https_test.py
 COPY echo_server_test.py /echo_server_test.py
 

examples/networking-py/urllib_get_no_timeout.py

@@ -0,0 +1,25 @@
+"""HTTP GET using urllib WITHOUT an explicit timeout.
+
+Same as urllib_get.py but omits the timeout= argument to urlopen().
+This exercises the code path used by mxc, where the Unikraft guest
+kernel busy-polls net_poll with timeout_ms=0 and relies on the host
+to detect read-readiness via select().
+"""
+import urllib.request
+import sys
+
+URL = "http://example.com/"
+
+print(f"Fetching {URL} (no timeout) ...")
+try:
+    with urllib.request.urlopen(URL) as resp:
+        body = resp.read().decode("utf-8", errors="replace")
+        print(f"Status: {resp.status}")
+        print(f"Body length: {len(body)} bytes")
+        if "Example Domain" in body:
+            print("SUCCESS: urllib GET (no timeout) worked!")
+        else:
+            print("WARNING: unexpected body content")
+except Exception as e:
+    print(f"FAILED: {e}")
+    sys.exit(1)

host/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "hyperlight-unikraft"
-version = "0.11.0"
+version = "0.11.1"
 edition = "2021"
 description = "Embedded Hyperlight host for running Unikraft unikernels"
 license = "MIT OR Apache-2.0"