1 files changed, 2 insertions, 2 deletions
diff --git a/src/player.c b/src/player.c
index ecf7036f3..417b76f69 100644
--- a/src/player.c
+++ b/src/player.c
@@ -45,8 +45,8 @@
 #include <errno.h>
 #include <fcntl.h>
 
-int player_pid = 0;
-int player_termSent = 0;
+volatile int player_pid = 0;
+volatile int player_termSent = 0;
 
 void resetPlayer() {
 	int pid;