From 821fa97ce4632361454cd57015c75938034f3bbd Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Sat, 22 Jun 2019 05:16:47 +0200
Subject: [PATCH] arte_download_button: Run every 2 seconds.

---
 video/arte_download_button.user.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/video/arte_download_button.user.js b/video/arte_download_button.user.js
index 078eb72..6e289d1 100644
--- a/video/arte_download_button.user.js
+++ b/video/arte_download_button.user.js
@@ -2,7 +2,7 @@
 // @name           arte download button
 // @description    Adds a download-button below videos on arte.tv.
 // @description:de Fügt einen download-button unter videos auf arte.tv hinzu.
-// @version        2019.06.18.1
+// @version        2019.06.22.1
 // @author         tastytea
 // @copyright      2019, tastytea (https://tastytea.de/)
 // @license        GPL-3.0-only
@@ -80,4 +80,4 @@ function main()
     get_video_url(url);
 }
 
-setInterval(main, 5000); // The script is not restarted when clicking on a link.
+setInterval(main, 2000); // The script is not restarted when clicking on a link.