---

 pbs-2.3.12/src/server/node_manager.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff -puN src/server/node_manager.c~less-ping-nodes src/server/node_manager.c
--- pbs-2.3.12-orig/src/server/node_manager.c~less-ping-nodes	2004-08-01 15:00:55.000000000 -0400
+++ pbs-2.3.12/src/server/node_manager.c	2004-08-01 15:00:57.000000000 -0400
@@ -400,9 +400,9 @@ ping_nodes(ptask)
 
 	if (ptask->wt_parm1 == NULL) {
 		if (server_init_type == RECOV_HOT)
-			i = 15;		/* rapid ping rate while hot restart */
+			i = 60;		/* rapid ping rate while hot restart */
 		else
-			i = 120;
+			i = 300;
 		(void)set_task(WORK_Timed, time_now+i, ping_nodes, NULL);
 	}
 }

_