1.1 --- a/Source/GGBUtils.m	Thu May 29 15:04:06 2008 -0700
     1.2 +++ b/Source/GGBUtils.m	Thu Jul 03 17:44:30 2008 -0700
     1.3 @@ -42,6 +42,16 @@
     1.4  }
     1.5  
     1.6  
     1.7 +void DelayFor( NSTimeInterval interval )
     1.8 +{
     1.9 +    NSDate *end = [NSDate dateWithTimeIntervalSinceNow: interval];
    1.10 +    while( [end timeIntervalSinceNow] > 0 ) {
    1.11 +        if( ! [[NSRunLoop currentRunLoop] runMode: NSDefaultRunLoopMode beforeDate: end] )
    1.12 +            break;
    1.13 +    }
    1.14 +}    
    1.15 +
    1.16 +
    1.17  #if TARGET_OS_IPHONE
    1.18  static SystemSoundID GetSound( NSString *name )
    1.19  {