Increase delay in UserInterrupt.

When a machine is very loaded, otherwise it could happen that we send
the interrupt before the resume has actually happened.

diff --git a/debug/gdbserver.py b/debug/gdbserver.py
index ed881e4156d6e7d8b0a4a40f07cba0321fc6cc86..cbb1299ad9ecafc009df6c486a8e656f49fde011 100755 (executable)
--- a/debug/gdbserver.py
+++ b/debug/gdbserver.py
@@ -408,7 +408,7 @@ class UserInterrupt(DebugTest):
         self.gdb.c()
         self.gdb.p("i=123")
         self.gdb.c(wait=False)
-        time.sleep(0.5)
+        time.sleep(2)
         output = self.gdb.interrupt()
         assert "main" in output
         assertGreater(self.gdb.p("j"), 10)