Ensure mirmon picks up git changes automagically

diff --git a/bin/run_mirmon b/bin/run_mirmon
index 016c999c37781d2fa0cdfa81c41935c5c8cd13d7..f84af9d61e43dcbc18d0c73d3c90c8bcbc9e6217 100755 (executable)
--- a/bin/run_mirmon
+++ b/bin/run_mirmon
@@ -6,6 +6,11 @@
 MIRMON_BASE=/home/nm4/mirror-monitor/mirmon
 
 cd ${MIRMON_BASE} || exit
 MIRMON_BASE=/home/nm4/mirror-monitor/mirmon
 
 cd ${MIRMON_BASE} || exit

+
+# update the repository in case of changes
+git pull -q
+
+# work through the mirrors

 for set in www ftp
 do
     ./mirmon -q -get update -c mirmon_${set}.conf
 for set in www ftp
 do
     ./mirmon -q -get update -c mirmon_${set}.conf