Merge pull request #72 from blocklessnetwork/fix/ws_port

feat: change the default port
blocklessnetwork · Jun 17, 2024 · b91dd4c · b91dd4c
2 parents 16aba52 + 8048424
commit b91dd4c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/boot.json b/boot.json
@@ -3,7 +3,7 @@
     "bios_file": "arch/seabios.bin",
     "vga_bios_file": "arch/vgabios.bin",
     "wasm_file": "target/v86.wasm",
-    "ws_port": 8081,
+    "ws_port": 9002,
     "memory_size": 134217728, 
     "vga_memory_size": 8388608,
     "cmdline": ["tsc=reliable mitigations=off random.trust_cpu=on"],

diff --git a/crates/wasi/src/setting.rs b/crates/wasi/src/setting.rs
@@ -43,7 +43,7 @@ impl Setting {
             bzimage_file: None,
             vga_bios_file: None,
             tun_ether_addr: None,
-            ws_port: 8081,
+            ws_port: 9002,
             vga_memory_size: 8 * 1024 * 1024,
             memory_size: 128 * 1024 * 1024,
         }
@@ -58,7 +58,7 @@ impl Setting {
         setting.vga_bios_file = setting_obj["vga_bios_file"].as_str().map(|s| s.into());
         setting.wasm_file = setting_obj["wasm_file"].as_str().map(|s| s.into());
         setting.wasm_file = setting_obj["wasm_file"].as_str().map(|s| s.into());
-        setting.ws_port = setting_obj["ws_port"].as_u32().unwrap_or(8081);
+        setting.ws_port = setting_obj["ws_port"].as_u32().unwrap_or(9002);
         setting.vga_memory_size = setting_obj["vga_memory_size"].as_u32().unwrap_or( 8 * 1024 * 1024);
         if setting_obj["cmdline"].is_array() {
             setting.cmdline = match setting_obj["cmdline"] {