diff --git a/src/hotkey/hotkey_handler_sp.cpp b/src/hotkey/hotkey_handler_sp.cpp
index 5d68de8cf87a..004e8ab6f2a9 100644
--- a/src/hotkey/hotkey_handler_sp.cpp
+++ b/src/hotkey/hotkey_handler_sp.cpp
@@ -325,6 +325,8 @@ void playsingle_controller::hotkey_handler::replay_exit()
 {
 	if(!playsingle_controller_.is_networked_mp()) {
 		resources::recorder->delete_upcoming_commands();
+	} else {
+		resources::recorder->set_to_end();
 	}
 	playsingle_controller_.set_player_type_changed();
 }