From 9e4937d07f339d3c5727aa1d5ecd90c8186da012 Mon Sep 17 00:00:00 2001
From: TehRealSalt <tehrealsalt@gmail.com>
Date: Mon, 22 Oct 2018 15:06:07 -0400
Subject: [PATCH] Don't f12 time over'd players

---
 src/g_game.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/g_game.c b/src/g_game.c
index 617712f7..f6115617 100644
--- a/src/g_game.c
+++ b/src/g_game.c
@@ -1840,6 +1840,9 @@ boolean G_Responder(event_t *ev)
 				if (players[displayplayer].exiting)
 					continue;
 
+				if (players[displayplayer].pflags & PF_TIMEOVER)
+					continue;
+
 				// I don't know if we want this actually, but I'll humor the suggestion anyway
 				if (G_BattleGametype())
 				{