Fix a bug: when all credits are used up and that level's notime is on, the game wont end.
Authored by: utunnels 2007-06-23
Parent: [r937]
Child: [r939]
