From d72e904a20619a704872061221261d1723c3333a Mon Sep 17 00:00:00 2001
From: clerie <git@clerie.de>
Date: Fri, 3 Jul 2020 21:22:22 +0200
Subject: [PATCH] Add log function

---
 js/background.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/background.js b/js/background.js
index 3f1e7d4..6ae0b54 100644
--- a/js/background.js
+++ b/js/background.js
@@ -2,9 +2,13 @@ const urls = [
   "*://*.tile.openstreetmap.org/*"
 ]
 
+function log(msg) {
+  console.log("custom-openstreetmap-tile-server: " + msg)
+}
 function replaceTileserver(request) {
   var url = request.url.replace("tile.openstreetmap.org", "tiles.demostat.de");
   console.log("custom-openstreetmap-tile-server: " + request.url + " -> " + url);
+  log(request.url + " -> " + url);
   return {redirectUrl: url};
 }