diff -r a59acc683080 -r 6c78cc6bd7a6 Source/GGBUtils.m
--- a/Source/GGBUtils.m	Thu May 29 15:04:06 2008 -0700
+++ b/Source/GGBUtils.m	Thu Jul 03 17:44:30 2008 -0700
@@ -42,6 +42,16 @@
 }
 
 
+void DelayFor( NSTimeInterval interval )
+{
+    NSDate *end = [NSDate dateWithTimeIntervalSinceNow: interval];
+    while( [end timeIntervalSinceNow] > 0 ) {
+        if( ! [[NSRunLoop currentRunLoop] runMode: NSDefaultRunLoopMode beforeDate: end] )
+            break;
+    }
+}    
+
+
 #if TARGET_OS_IPHONE
 static SystemSoundID GetSound( NSString *name )
 {