diff --git a/libs/console/server.c b/libs/console/server.c
index 82be1cf1c..3b8cd2dd6 100644
--- a/libs/console/server.c
+++ b/libs/console/server.c
@@ -99,7 +99,7 @@ static view_t *output;
 static view_t *status;
 static view_t *input;
 static int screen_x, screen_y;
-static int interrupted;
+static volatile sig_atomic_t interrupted;
 static int batch_print;
 
 #define     MAXCMDLINE  256