From ba557d126ba8a66fbee085333228528e930b737e Mon Sep 17 00:00:00 2001
From: Kirill Bulatov <kirill@zenith.tech>
Date: Fri, 15 Oct 2021 13:17:30 +0300
Subject: [PATCH] React on sigint

---
 pageserver/src/bin/pageserver.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pageserver/src/bin/pageserver.rs b/pageserver/src/bin/pageserver.rs
index 4e2c02a83a..d1ec4f9323 100644
--- a/pageserver/src/bin/pageserver.rs
+++ b/pageserver/src/bin/pageserver.rs
@@ -552,7 +552,7 @@ fn start_pageserver(conf: &'static PageServerConf) -> Result<()> {
                 info!("Got SIGQUIT. Terminate pageserver in immediate shutdown mode");
                 exit(111);
             }
-            SIGTERM => {
+            SIGINT | SIGTERM => {
                 info!("Got SIGINT/SIGTERM. Terminate gracefully in fast shutdown mode");
                 // Terminate postgres backends
                 postgres_backend::set_pgbackend_shutdown_requested();
@@ -577,8 +577,8 @@ fn start_pageserver(conf: &'static PageServerConf) -> Result<()> {
                 info!("Pageserver shut down successfully completed");
                 exit(0);
             }
-            _ => {
-                debug!("Unknown signal.");
+            unknown_signal => {
+                debug!("Unknown signal {}", unknown_signal);
             }
         }
     }