- level_rename_player(level, time_rank, goal_rank, coin_rank, player);
- set_rename_player (score_rank, times_rank, player);
+ if (set_only)
+ {
+ set_rename_player(score_rank, times_rank, player);
+ }
+ else
+ {
+ level_rename_player(level, time_rank, goal_rank, coin_rank, player);
+
+ demo_rename_player(USER_REPLAY_FILE, player);
+
+ if (progress_done())
+ set_rename_player(score_rank, times_rank, player);
+ }