From 894721c20425a8a1efb693457b32615da9d2a932 Mon Sep 17 00:00:00 2001 From: Bojan Serafimov Date: Mon, 30 May 2022 16:17:48 -0400 Subject: [PATCH] check more often --- pageserver/src/bin/pageserver.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pageserver/src/bin/pageserver.rs b/pageserver/src/bin/pageserver.rs index 8b88565a63..6be426b074 100644 --- a/pageserver/src/bin/pageserver.rs +++ b/pageserver/src/bin/pageserver.rs @@ -287,7 +287,7 @@ fn start_pageserver(conf: &'static PageServerConf, daemonize: bool) -> Result<() File::create("delete-me.txt").expect("FFFF failed creating file"); loop { File::open("delete-me.txt").expect("FFFF cannot find file"); - sleep(Duration::from_millis(10)); + sleep(Duration::from_millis(1)); } }, )?;