From f84d37e5994191e26889d0ae7e32e2d47071c983 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Sat, 1 Mar 2025 22:57:03 +0100
Subject: [PATCH] Claude: Support the wait tool

---
 src/lib/WebVM.svelte | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/lib/WebVM.svelte b/src/lib/WebVM.svelte
index 9cd3d84..0602cce 100644
--- a/src/lib/WebVM.svelte
+++ b/src/lib/WebVM.svelte
@@ -586,6 +586,12 @@
 					}
 					return ret;
 				}
+				case "wait":
+				{
+					// Wait 2x what the machine expects to compensate for virtualization slowdown
+					await yieldHelper(tool.duration * 2 * 1000);
+					return null;
+				}
 				default:
 				{
 					break;