From 52087fec44c0b55219e3fd05c4940ebfe718e9b7 Mon Sep 17 00:00:00 2001
From: Bruno BEAUFILS <bruno@boulgour.com>
Date: Thu, 2 Mar 2017 14:59:04 +0100
Subject: [PATCH] repec-trace: modified web page reload duration.
---
bin/repec-trace | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/repec-trace b/bin/repec-trace
index 5c5bc06..5e4c9d5 100755
--- a/bin/repec-trace
+++ b/bin/repec-trace
@@ -62,7 +62,7 @@ $HTML && {
$(sed -n '\!^# <CSS>!,\!^# </CSS>! { s/^/ / ; p }' $0 | sed '1d ; $d')
</style>
<script>
- window.setTimeout(function(){ location.reload() }, 10000);
+ window.setTimeout(function(){ location.reload() }, 60000);
</script>
<title>$titre</title>
</head>
@@ -72,7 +72,7 @@ $(sed -n '\!^# <CSS>!,\!^# </CSS>! { s/^/ / ; p }' $0 | sed '1d ; $d')
<p>
Les archives téléchargées sont accessibles dans <code><a href='remo'>remo</a></code>.
- La page se recharge automatiquement toutes les 10 secondes.
+ La page se recharge automatiquement toutes les minutes.
</p>
<p>
--
GitLab