211 |
sound::PlaySound("finished"); |
sound::PlaySound("finished"); |
212 |
player::LevelFinished(); // remove player-controlled actors |
player::LevelFinished(); // remove player-controlled actors |
213 |
|
|
214 |
int level_time = int(overall_level_time+current_state_dtime+.5); |
//int level_time = int(overall_level_time+current_state_dtime+.5); |
215 |
|
int level_time = int(current_state_dtime + .5); // [ant]: why to add overall_level_time? |
216 |
if (options::SetLevelTime (level_pack->get_name(), |
if (options::SetLevelTime (level_pack->get_name(), |
217 |
level_pack->get_info(icurrent_level)->filename, |
level_pack->get_info(icurrent_level)->filename, |
218 |
options::Difficulty, |
options::Difficulty, |