raftable restart timeout

Author: kelvich

contrib/raftable/raftable.c

@@ -619,7 +619,7 @@ pid_t raftable_start(int id)
 	snprintf(worker.bgw_name, BGW_MAXLEN, "raftable worker %d", sharedcfg->id);
 	worker.bgw_flags = BGWORKER_SHMEM_ACCESS;
 	worker.bgw_start_time = BgWorkerStart_ConsistentState;
-	worker.bgw_restart_time = BGW_NEVER_RESTART;
+	worker.bgw_restart_time = RAFTABLE_RESTART_TIMEOUT;
 	worker.bgw_main = raftable_worker_main;
 	worker.bgw_main_arg = PointerGetDatum(&sharedcfg);
 

contrib/raftable/raftable.h

@@ -1,6 +1,8 @@
 #ifndef __RAFTABLE_H__
 #define __RAFTABLE_H__
 
+#define RAFTABLE_RESTART_TIMEOUT 1
+
 /*
  * Gets value by key. Returns the value or NULL if not found. Gives up after
  * 'timeout_ms' milliseconds