From ca65ff1cd55b2a285320ec8562e8ca1e29fbc4f0 Mon Sep 17 00:00:00 2001
From: Stephen Soltesz <soltesz@cs.princeton.edu>
Date: Thu, 12 Feb 2009 21:14:56 +0000
Subject: [PATCH] stop the tg web server before restarting it.

---
 monitor-server.init | 1 +
 1 file changed, 1 insertion(+)

diff --git a/monitor-server.init b/monitor-server.init
index a194ebe..b627c17 100644
--- a/monitor-server.init
+++ b/monitor-server.init
@@ -277,6 +277,7 @@ EOF
 
 function start_tg_server ()
 {
+	stop_tg_server
 	pushd ${MONITORPATH}/web/MonitorWeb/
 	./start-monitorweb.py ${MONITORPATH}/web/MonitorWeb/prod.cfg &> /var/log/monitorweb.log &
 	popd
-- 
2.43.0