diff options
| author | Robby Zambito <contact@robbyzambito.me> | 2026-01-02 20:50:55 +0000 |
|---|---|---|
| committer | Robby Zambito <contact@robbyzambito.me> | 2026-01-02 20:50:57 +0000 |
| commit | 29e5b92ee0f207dd5bd8c352ce68796e8b6048da (patch) | |
| tree | 06c9a4c554f76f24d7febc3e892060e60b694ee0 | |
| parent | 90b5b1548f0031ccff56b59eb3c0271f4d3d948c (diff) | |
Only check for ctrl+c every 10 ms
| -rw-r--r-- | src/server/main.zig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/main.zig b/src/server/main.zig index ba74987..4ade64d 100644 --- a/src/server/main.zig +++ b/src/server/main.zig @@ -67,7 +67,7 @@ pub fn main(alloc: std.mem.Allocator, server_config: ServerInfo) !void { defer server_task.cancel(io) catch {}; while (keep_running.load(.monotonic)) { - try io.sleep(.fromMilliseconds(1), .awake); + try io.sleep(.fromMilliseconds(10), .awake); } std.debug.print("\n", .{}); |
