Guarantee that missionScreenOpportunity() is never sent when the player is not docked, even if undocking happened during a missionScreenOpportunity() handler.

git-svn-id: http://svn.berlios.de/svnroot/repos/oolite-linux/trunk@3731 127b21dd-08f5-0310-b4b7-95ae10353056
This commit is contained in:
Jens Ayton 2010-07-30 20:58:21 +00:00
parent 723846018e
commit 5abbe23f56

View File

@ -7721,7 +7721,7 @@ static NSString *last_outfitting_key=nil;
NSEnumerator *scriptEnum = [worldScripts objectEnumerator];
OOScript *theScript;
// FIXME: does this work ok in all situations? Needs fixing if not.
while ((theScript = [scriptEnum nextObject]) && gui_screen != GUI_SCREEN_MISSION)
while ((theScript = [scriptEnum nextObject]) && gui_screen != GUI_SCREEN_MISSION && [self isDocked])
{
[theScript doEvent:message withArguments:nil];
}