From 4e2e5bb4e61e0b86f75df1ea736fa25f6ad3be7d Mon Sep 17 00:00:00 2001
From: Eric Seppanen <eds@reric.net>
Date: Mon, 3 May 2021 19:52:42 -0700
Subject: [PATCH] implement "zenith pageserver stop"

Fixes #89.
---
 zenith/src/main.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/zenith/src/main.rs b/zenith/src/main.rs
index 2895d7203e..903770c548 100644
--- a/zenith/src/main.rs
+++ b/zenith/src/main.rs
@@ -140,7 +140,9 @@ fn run_pageserver_cmd(local_env: &LocalEnv, args: ArgMatches) -> Result<()> {
             println!("Page server started");
         }
         ("stop", Some(_sub_m)) => {
-            todo!();
+            let psnode = PageServerNode::from_env(local_env);
+            psnode.stop()?;
+            println!("Page server stopped");
         }
         _ => unreachable!(),
     };