| ... | @@ -64,6 +64,8 @@ pub fn run(ws: *WebServer) void { | ... | @@ -64,6 +64,8 @@ pub fn run(ws: *WebServer) void { |
| 64 | }; | 64 | }; |
| 65 | const port = http_server.listen_address.in.getPort(); | 65 | const port = http_server.listen_address.in.getPort(); |
| 66 | log.info("web interface listening at http://127.0.0.1:{d}/", .{port}); | 66 | log.info("web interface listening at http://127.0.0.1:{d}/", .{port}); |
| | 67 | if (ws.listen_address.in.getPort() == 0) |
| | 68 | log.info("hint: pass --port {d} to use this same port next time", .{port}); |
| 67 | | 69 | |
| 68 | while (true) { | 70 | while (true) { |
| 69 | const connection = http_server.accept() catch |err| { | 71 | const connection = http_server.accept() catch |err| { |